Popular repositories Loading

1. qmk_firmware qmk_firmware Public

   Forked from qmk/qmk_firmware

   Open-source keyboard firmware for Atmel AVR and Arm USB families

   C

2. rocq rocq Public

   Forked from rocq-prover/rocq

   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

3. lambda-box-extraction lambda-box-extraction Public

   Forked from peregrine-project/lambda-box-extraction

   Verified compiler from LambdaBox to WebAssembly, C, Rust, and OCaml

   Coq

4. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean 4 programming language and theorem prover

   Lean

5. vsrocq.nvim vsrocq.nvim Public

   Forked from tomtomjhj/vsrocq.nvim

   A Neovim client for VsRocq.

   Lua

6. vsrocq vsrocq Public

   Forked from rocq-prover/vsrocq

   Visual Studio Code extension for Coq

   OCaml