Skantz's Stars
gares/math-comp-school-2022
amandaghassaei/gpu-io
A GPU-accelerated computing library for running physics simulations and other GPGPU computations in a web browser.
TylerMclaughlin/midi_to_tidalcycles
Command line tool for converting polyphonic MIDI phrases to TidalCycles syntax
tidalcycles/Tidal
Pattern language
LPCIC/coq-elpi
Coq plugin embedding elpi
martinescardo/HoTTEST-Summer-School
HoTTEST Summer School materials
coq-community/coqeal
The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]
michaelt/martin-lof
papers of Per Martin Löf
amargaritov/starlit
Hutter Prize Submission 2021a: STARLIT + cmix
princeton-vl/CoqGym
A Learning Environment for Theorem Proving with the Coq proof assistant
rfindler/395-2013
validsdp/validsdp
A Coq tactic for proving multivariate inequalities using SDP solvers
coq-community/coq-dpdgraph
Build dependency graphs between Coq objects [maintainers=@Karmaki,@ybertot]
UniMath/Schools
gillescastel/latex-snippets
Vim + LaTeX snippets setup
gillescastel/university-setup
My note taking setup scripts.
coq-community/coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
coq-community/vscoq
A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]
bedrocksystems/BRiCk
Formalization of C++ for verification purposes.
codecrafters-io/build-your-own-x
Master programming by recreating your favorite technologies from scratch.
pschanely/CrossHair
An analysis tool for Python that blurs the line between testing and type systems.
ocaml-multicore/effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
janestreet/incr_dom
A library for building dynamic webapps, using Js_of_ocaml.
EasyCrypt/certicrypt
CertiCrypt Coq Framework
CertiCoq/certicoq
A Verified Compiler for Gallina, Written in Gallina
linuxserver/docker-code-server
mikadosoftware/workstation
Docker based portable Workstation
project-everest/vale
Verified Assembly Language for Everest
amezin/vscode-linux-kernel
Visual Studio Code project/compile_commands.json generator for Linux kernel sources and out-of-tree modules
philzook58/z3_tutorial
Jupyter notebooks for tutorial on the Z3 SMT solver