Lists (2)
Starred repositories
a playground for making 3D art with lisp and math
A massive collaborative rube goldberg machine.
A formalized proof of Carleson's theorem in Lean
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
Ongoing Lean formalisation of the proof of Fermat's Last Theorem
A tool for creating and running Linux containers using lightweight virtual machines on a Mac. It is written in Swift, and optimized for Apple silicon.
A library for parsing and creation of GPX location files. Purely Swift.
Grammatical parsers - combinator library for parsing general context-free grammars
A toolkit for enforcing logical specifications on neural networks
Haskell binding to Apple's SpriteKit framework
Haskell Diagrams for Penrose Kite and Dart non-periodic tilings
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
Continuous Profiling Platform. Debug performance issues down to a single line of code
Pipe the GHC eventlog stream to a UNIX domain socket
Haskell to VHDL/Verilog/SystemVerilog compiler
System for collecting, deriving and working with facts about source code.
An Awesome MCP Server Framework for Haskell
Reimplementation of Parsley in Haskell, with improvements
Manage a user environment using Nix [maintainer=@khaneliman, @rycee]
Modules and schemes to make theming with Nix awesome.