Pinned Loading

1. mathlib mathlib Public

   Coq 2

2. coq/coq coq/coq Public

   Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

   OCaml 4.7k 637

3. discordrb/discordrb discordrb/discordrb Public

   Discord API for Ruby

   Ruby 693 159

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 3

6. coq-learning coq-learning Public

   Coq 1 1