Robert Schenck's repositories
tigerhaskell
Modern Compiler Implementation in ML (except in Haskell) :^)
000
bitwarden-dmenu
dmenu for bitwarden-cli
bril
an educational compiler intermediate representation
Language:RustMIT000
diving-beet
A port of Falling Turnip from Haskell to Futhark and Python :boom:
Language:GoGPL-3.0000
futhark-benchmarks
Various Futhark benchmark programs
Language:Python000
Language:Haskell000
kantinfo
a simple infoscreen system
Language:PythonWTFPL000
000
opfsdr
Semidefinite relaxation of optimal power flow problems
Language:Jupyter NotebookGPL-3.0000
plfa.github.io
An introduction to programming language theory in Agda
Language:HTMLCC-BY-4.0000
pmph-e2020-pub
PMPH course 2020 public repo
rustlings
Small exercises to get you used to reading and writing Rust code!
Language:RustMIT000
Language:Haskell000
Language:Agda000
system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
Language:Coq000
system-f-parametricity-model
A Model of Relationally Parametric System F in Coq
Language:TeX000