Pinned Repositories
futhark
:boom::computer::boom: A data-parallel functional programming language
18.952
abstract
aoc2021
futhark-ad
tigerhaskell
Modern Compiler Implementation in ML (except in Haskell) :^)
zfnmxt's Repositories
zfnmxt/tigerhaskell
Modern Compiler Implementation in ML (except in Haskell) :^)
zfnmxt/futhark-ad
zfnmxt/18.952
zfnmxt/aoc2021
zfnmxt/abstract
zfnmxt/ad_papers
zfnmxt/algebra-chapter-0
zfnmxt/bitwarden-dmenu
dmenu for bitwarden-cli
zfnmxt/bril
an educational compiler intermediate representation
zfnmxt/disco
Functional teaching language for use in a discrete mathematics course
zfnmxt/diving-beet
A port of Falling Turnip from Haskell to Futhark and Python :boom:
zfnmxt/feigenbaum
Futhark Feigenbaum Bifurcation
zfnmxt/fun-machines
zfnmxt/futhark
:boom::computer::boom: A data-parallel functional programming language
zfnmxt/futhark-rev-ad
zfnmxt/kantinfo
a simple infoscreen system
zfnmxt/matrix-client
zfnmxt/MGS2021
zfnmxt/nixpkgs
Nix Packages collection
zfnmxt/opfsdr
Semidefinite relaxation of optimal power flow problems
zfnmxt/plfa.github.io
An introduction to programming language theory in Agda
zfnmxt/pmph-e2020-pub
PMPH course 2020 public repo
zfnmxt/rustlings
Small exercises to get you used to reading and writing Rust code!
zfnmxt/scripts
zfnmxt/staffeli_nt
Staffeli NT Technology
zfnmxt/stupid_shit_with_ola
zfnmxt/system-F
Formalization of the polymorphic lambda calculus and its parametricity theorem
zfnmxt/understanding-analysis
zfnmxt/yasih
Yet another Scheme implemented in Haskell
zfnmxt/zfnmxt.com