Lists (16)
✨️ Inspiration
Maybe incorporate, or copy something like this into my own tools!9 repositories
🤖 AI
2 repositories
🔖 Bookmark
Just something to keep track of3 repositories
😎 Cool
Cool stuff, you got my 🌟152 repositories
👷 DevOps
4 repositories
Lisp
2 repositories
🕓 Look at Later
Repos to check out later108 repositories
🎵 Audio Server
2 repositories
Starred repositories
15
stars
written in Haskell
Clear filter
Dockerfile linter, validate inline bash, written in Haskell
A friendly programming language from the future
A statically typed lisp, without a GC, for real-time applications.
Haskell to VHDL/Verilog/SystemVerilog compiler
😎 The open-source, Haskell-built video editor for GIF makers.
Haskell library for building declarative animations based on SVG graphics
Kit: a magical, high performance programming language, designed for game development.
An interpreter for learning and exploring pure λ-calculus
A formal logic framework that runs in the browser