Pinned Loading

1. 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 5.4k 720

2. discordrb/discordrb discordrb/discordrb Public

   Discord API for Ruby

   Ruby 691 150

3. 10cc 10cc Public

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

   C 4

4. coq-learning coq-learning Public

   Rocq Prover 7 1

5. LocaLingo LocaLingo Public

   Web UI for Plamo Translation Model

   HTML 14 1

6. local-wikipedia local-wikipedia Public

   An MCP server written in Python that searches and reads Wikipedia articles by downloading the information in advance.

   Python 13 2