Starred repositories
🐢 🌎 📚 a community-owned language-learning platform
Graphviz to ASCII converter using Graph::Easy
The official Visual Studio Code extension for the Effekt language
English-Danish Technical Dictionary of Computer Science
Proposed compiler and language changes for GHC and GHC/Haskell
CLI script for interacting with local Anki collection
Simple LaTeX parser providing latex-to-unicode and unicode-to-latex conversion
Combinator library to generate HTML in Flix.
An interactive git visualization and tutorial. Aspiring students of git can use this app to educate and challenge themselves towards mastery of git!
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions.
F♭ (pronounced F-flat) is a toy language.
LaTeX package to typeset material for the fifth edition of the "world's greatest roleplaying game".
The package lets the user mark things to do later, in a simple and and visually appealing way.
JavaScript/TypeScript static analyzer for call graph construction, library usage pattern matching, and vulnerability exposure analysis
An exploration of computational complexity in tally clustering
MuseScore (https://musescore.org) plugin applying linear Tempo changes such as accelerando and ritardando.