Stars
Experimental FV-1 virtual machine implementation in C++
Modern embedded framework, using Rust and async.
Insert functions on Obsidian using Wolfram Mathematica!
A framework for musical composition. It allows creating custom music algorithms, musical phrases, percussion rhythms, harmonic sequences and more.
A fast and lightweight 2D game physics library.
🍭 A sweet, functional programming language that is robust, minimalistic, and expressive.
Declarative bash/fish/zsh completions without writing shell scripts
Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns
A continuation-based backtracking logic programming monad
Presentation on the external STG interpreter from Csaba Hruska
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
A formal semantics of the RISC-V ISA in Haskell
Symbolic Geometric Algebra/Calculus package for SymPy 🔮
A Python package for interactive mapping and geospatial analysis with minimal coding in a Jupyter environment
Step-by-step guides to get your project up and running. Here you'll find out how we develop solutions with our APIs. You can follow our step-by-step guides to start building your own innovative pro…
A statically-generated site to host my math course notes in university.
Attempting to create Optics and other Computational structures from scratch
Repo to contain all 5 DS4 charging boards in Type-C variant. Currently holds JDS 001, 040, 050, and 055.
Materials for the gen~ workshop and presentation at GRAME
PyRCS: an open-source tool for collecting railway codes used in different UK rail industry systems
A Haskell module for PortMidi audio library.