Pinned Loading

1. mathlib mathlib Public

   Coq 2

2. rocq-prover/rocq rocq-prover/rocq Public

   The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

   OCaml 5k 676

3. discordrb/discordrb discordrb/discordrb Public

   Discord API for Ruby

   Ruby 692 153

4. baby-interpreter baby-interpreter Public

   学習用に作った、機能を拡張しやすいようなインタプリタです

   JavaScript 2 10

5. 10cc 10cc Public

   C compiler training code based on https://www.sigbus.info/compilerbook

   C 4

6. coq-learning coq-learning Public

   Coq 5 1