Lists (5)
Cool C Projects
Cool projects written in C6 repositories
Haskell
3 repositories
My Awesome Lists
Meticulously curated lists of awesome apps, libraries, and resources for various topics.16 repositories
My Haskell Projects
Haskell projects I've worked on10 repositories
Programming Languages
134 repositories
Starred repositories
8
stars
written in TeX
Clear filter
The specification for TinyVG. This is the central authority for the file system
Functional teaching language for use in a discrete mathematics course
Specification of the Modelica Language
A summary of ideas about transpilation -- work in progress
Haskell simulations of spacecraft manoeuvres
Friendly fork of the GeneralUser GS soundfont. (FluidSynth version)