alpha-convert's Stars
mvr/at
Effective Algebraic Topology in Haskell
wits-workshop/knowledge
A repository of the collective knowledge from the WITS community
nota-lang/nota
A document language for the browser
sampsyo/bril
an educational compiler intermediate representation
granule-project/granule
A statically-typed linear functional language with graded modal types for fine-grained program reasoning
llelf/icfp2020-papers
ICFP 2020 papers. Crowd-sourced
dlicata335/hott-agda
giorgidze/HCodecs
A library to read, write and manipulate MIDI, WAVE, and SoundFont2 files
karan/Projects
:page_with_curl: A list of practical projects that anyone can solve in any programming language.