Skantz's Stars
ocaml/RFCs
Design discussions about the OCaml language
wcventure/FuzzingPaper
Recent Fuzzing Paper
mrtazz/checkmake
experimental linter/analyzer for Makefiles
kristerw/smtgcc
Some experiments with SMT solvers and GIMPLE IR
TinyCC/tinycc
Unofficial mirror of mob development branch
termite-analyser/z3overlay
An overlay for the OCaml Z3 binding.
github/gitignore
A collection of useful .gitignore templates
lukeg101/Memory-Model-Reading-Group-Public
Public Reading group timetable for Memory Model/Compiler Verification Reading Group I run at Arm.
tomdjong/MGS-domain-theory
Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023
HoTT/book
A textbook on informal homotopy type theory
AliveToolkit/alive2
Automatic verification of LLVM optimizations
whonore/Coqtail
Interactive Coq Proofs in Vim
mzur/gnome-shell-wsmatrix
GNOME shell extension to arrange workspaces in a two-dimensional grid with workspace thumbnails
ilya-klyuchnikov/ttlite
A SuperCompiler for Martin-Löf's Type Theory
fionn/git-nowhere
Git commit without leaking timezone information
geoffviola/undefined_behavior_study
A study of undefined behavior on various platforms, compilers, and tools
INRIA/spoon
Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.
MetaCoq/metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq
lukesmurray/markdown-anki-decks
Tool for converting markdown files into anki decks
plfa/plfa.github.io
An introduction to programming language theory in Agda
nmvdw/Three-HITs
All higher inductive types can be obtained from three simple HITs.
urschrei/pyzotero
Pyzotero: a Python client for the Zotero API
jbaiter/zotero-cli
Command-line interface for Zotero
tidalcycles/vim-tidal
Vim plugin for TidalCycles
cplusplus/draft
C++ standards drafts
latex-lsp/texlab
An implementation of the Language Server Protocol for LaTeX
junegunn/vim-plug
:hibiscus: Minimalist Vim Plugin Manager
prabirshrestha/vim-lsp
async language server protocol plugin for vim and neovim
benediktahrens/CT4P
vim-latex/vim-latex
Enhanced LaTeX support for Vim