浅井健一『プログラミングの基礎』でプログラミングやOCamlを学ぶ。

An open-source, cross-platform terminal for seamless workflows

🔥 No-nonsense floating terminal plugin for neovim 🔥

Algorithms Implemented in OCaml

Apache Superset is a Data Visualization and Data Exploration Platform

Command-line tool to customize Spotify client. Supports Windows, MacOS, and Linux.

A tool to run tests for AtCoder Heuristic Contest (AHC)

A Next.js markdown blog template for developers. It uses the new Next.js App Router.

プログラミングコンテストチャレンジブック (通称: 蟻本)の問題と類題整理

マラソンマッチの練習問題のような何かです．

The world's most flexible commerce platform.

Algorithms

ac-library-rs is a rust port of AtCoder Library (ACL).

Animation engine for explanatory math videos

Node API for Apple's iCloud services

Formalized Cryptography Proofs in Lean 4

LaTeX environment in Docker on VSCode with extension "Remote - Containers", "LaTeX Workshop"

A Proof of RSA Encryption using Lean

Cryptographic Constructions in the Type Theory of Agda

A very simple stack based language interpreter in Rust

Drag and Drop Website Builder and CMS with E-commerce

AI Website Builder, Open Source, Bootstrap 5

Craft beautiful websites effortlessly with an intuitive visual builder and publish them instantly

a react project using grapejs

Drag and drop web builder with Grapes js, Bootstrap 5, Electron js and Netlify deployment.

A Python + iCloud wrapper to access iPhone and Calendar data.

USIプロトコルに対応した将棋AIを開発するためのフレームワーク