Skantz's Stars
vim-latex/vim-latex
Enhanced LaTeX support for Vim
coq/ceps
Coq Enhancement Proposals
ocaml/ocamlunix
Unix system programming in OCaml book
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
agda/cubical
An experimental library for Cubical Agda
andrejbauer/spartan-type-theory
Spartan type theory
andrejbauer/homotopy-type-theory-course
A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
herbelin/cours-preuves-ordinateur
Page du cours preuves assistées par ordinateur 2021
nionita/Barbarossa
Chess engine entirely written in Haskell
quantumformalism/software-verification
ocsigen/js_of_ocaml
Compiler from OCaml to Javascript.
coreutils/coreutils
upstream mirror
huynhtrankhanh/CoqCP
We combat sloppy arguments in competitive programming and raise the standard of rigor
vellvm/vellvm
The Vellvm (Verified LLVM) coq development.
sysprog21/lkmpg
The Linux Kernel Module Programming Guide (updated for 5.0+ kernels)
ejgallego/coq-lsp
Visual Studio Code Extension and Language Server Protocol for Coq
9fans/plan9port
Plan 9 from User Space
brho/plan9
UC Berkeley release of Plan 9 under the GPLv2
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
banach-space/llvm-tutor
A collection of out-of-tree LLVM passes for teaching and learning
diogovk/c2nasm
Converts C to nasm using gcc and objconv
hakank/hakank
My public programs and models - mostly combinatorial problems and puzzles
zwegner/x86-sat
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
coq-community/topology
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
jtassarotti/coq-proba
A Probability Theory Library for the Coq Theorem Prover
seL4/seL4
The seL4 microkernel
acsl-language/acsl
Sources for the ANSI/ISO C Specification Language manual
Skantz/Puzzles
Solutions to competitive programming puzzles. Leetcode, Kattis, Project Euler and more.
AbsInt/CompCert
The CompCert formally-verified C compiler
janestreet/learn-ocaml-workshop
Exercises and projects for Jane Street's OCaml Workshop