matzemathics's repositories
concurrency-theory
bisimilarity and stuff
amazing-xterm
run xterm inside of a container
Language:Dockerfile000
Language:Rust000
cstr-muh_nit
single header C libraries
Language:C000
Language:C000
ulfius-bot
discord bot based on the ulfius C framework
Language:C000
big-zios
Building UEFI applications in ZIG
Language:Zig000
c-lessons
©️C language lessons TeX source
Language:TeXNOASSERTION000
cameLL1
simple LL-1 parser in rust
Language:Rust000
croissant
cross platform electron-based audio player
Language:Rust000
Language:C000
f
pay respect via unix cli
Language:MakefileWTFPL000
formal-systems
calculations for various cs problems
Language:Rust000
lisp-rs
A simple Lisp interpreter in rust
Language:Rust000
Language:HaskellBSD-3-Clause000
Language:Rust000
non-solver
solves nonograms
Language:Haskell000
rust-clippy
A bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Language:RustNOASSERTION000
rust-fixpoints
implementation of a general purpose top-down fixpoint algorithm found in 10.1145/174625.174627
Language:Rust000
rust-smallvec
"Small vector" optimization for Rust: store up to a small number of items on the stack
Language:RustApache-2.0000
typst-template
A template repo for writing papers with typst
Language:Typst000