Popular repositories Loading

1. h2o-tile h2o-tile Public

   Forked from h2o/h2o

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

   C 11

2. CSBitVectors CSBitVectors Public

   Bit-vector implementations in C#

   C# 5 1

3. lean-exercise lean-exercise Public

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

   Lean 1 1

4. lean-mathgirls lean-mathgirls Public

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

   Lean 1 2

5. MoEToiro MoEToiro Public

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

   C#

6. osrm-backend osrm-backend Public

   Forked from frodrigo/osrm-backend

   Project OSRM: C++ backend

   C++