-
-
wacc Public
Implementation of the C compiler from the book 'Writing a C Compiler' by Nora Sandler
OCaml ISC License UpdatedMay 4, 2024 -
writing-a-c-compiler-tests Public
Forked from nlsandler/writing-a-c-compiler-testsTest cases for Writing a C Compiler
C Other UpdatedMay 1, 2024 -
rope Public
An implementation of a rope data structure in C, with a minimal ed-like shell. Currently lacks features, especially in the shell.
-
verilog-monitor Public
Stream farbfeld images to a monitor using an FPGA
-
stt Public
A toy programming language that uses set-theoretic types
Haskell ISC License UpdatedMar 20, 2024 -
-
tapl-lprolog Public
λProlog translations of programming languages from the book "Types and Programming Languages"
Prolog UpdatedMar 4, 2024 -
mltt-church-rosser Public
Coq Proof of the Church-Rosser Theorem for Martin-Löf's Type Theory
-
wgldap Public
OpenBSD utility to pull wireguard configurations from LDAP
C ISC License UpdatedFeb 7, 2024 -
-
-
-
gameboy-of-life Public
Conway's Game of Life on the Gameboy
Assembly ISC License UpdatedFeb 7, 2024 -
-
alpaca-rs Public archive
An (unfinished) rust API for alpaca.markets
Rust ISC License UpdatedFeb 7, 2024 -
-
moody Public
Forked from tarsius/moodyFork of moody with support for solaire-mode
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 3, 2024 -
PG Public
Forked from ProofGeneral/PGFork of Proof General with extra language support
Emacs Lisp GNU General Public License v3.0 UpdatedDec 28, 2023 -
void-packages Public
Forked from void-linux/void-packagesThe Void source packages collection
Shell Other UpdatedDec 6, 2022 -
laf Public
Forked from aseprite/lafA C++ library to create desktop applications
C++ MIT License UpdatedMay 17, 2022 -
alectryon Public
Forked from cpitclaudel/alectryonA collection of tools for writing technical documents that mix Coq code and prose.
HTML MIT License UpdatedApr 6, 2022 -
VST Public
Forked from PrincetonUniversity/VSTVerified Software Toolchain
Coq Other UpdatedMar 8, 2022 -
-
coq-record-update Public
Forked from tchajed/coq-record-updateLibrary to create Coq record update functions
Coq MIT License UpdatedJun 29, 2021 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMay 28, 2020