Beast code in Giters

N. Tabuchi's repositories

H2O-tile: an H2O-based tile server for OpenStreetMap

Language:CMIT1100

Bit-vector implementations in C#

Language:C#MIT500

Lean theorm prover, exercises in the official doc. https://leanprover.github.io/theorem_proving_in_lean

Language:LeanCC0-1.0100

Formalized proofs of theorems/equations in "Math Girls (数学ガール)" book series, in Lean theorem prover.

Language:LeanMIT1 20

もえといろ (MoeToiro: A MIDI to Music Score Converter for MMORPG "Master of Epic")

Language:C#020

Project OSRM: C++ backend

Language:C++BSD-2-Clause000

personal bucket for scoop package manager

CC0-1.0000

Language:PythonMIT000

List of symbol translation tables for "Lean for VS Code"

Language:TypeScriptCC0-1.0020