Engiseer's repositories
track_time
text based study time tracker
agda
Agda is a dependently typed programming language / interactive theorem prover.
cbmc
C Bounded Model Checker
certicoq
A Verified Compiler for Gallina, Written in Gallina
ChezScheme
Chez Scheme
clasp
clasp Common Lisp environment
CompCert
The CompCert formally-verified C compiler
corn-coq
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]
d2l-en
Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 300 universities from 55 countries including Stanford, MIT, Harvard, and Cambridge.
dafny
Dafny is a verification-aware programming language
dale
Lisp-flavoured C
grammars-v4
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
gubpi
GuBPI – an analyzer for probabilistic programs to compute guaranteed bounds on the posterior
libvata
VATA Tree Automata Library
llvm-project
The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.
malbolge-lisp
A lightweight (350MB) Lisp interpreter in Malbolge Unshackled, often dubbed the hardest turing complete programming language.
Metatheory.jl
General purpose algebraic metaprogramming and symbolic computation library for the Julia programming language: E-Graphs & equality saturation, term rewriting and more.
minetest
Minetest is an open source voxel game engine with easy modding and game creation
ocaml
The core OCaml system: compilers, runtime system, base libraries
ocamlformat
Auto-formatter for OCaml code
raylib
A simple and easy-to-use library to enjoy videogames programming
set.mm
Metamath source file for logic and set theory
topology
General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]
z3
The Z3 Theorem Prover
Zygote.jl
21st century AD