Stars
- All languages
- Ada
- Agda
- Assembly
- C
- C#
- C++
- CSS
- Clojure
- Common Lisp
- Coq
- Cuda
- Elixir
- Elm
- Emacs Lisp
- Erlang
- Forth
- Fortran
- Go
- HTML
- Haskell
- Hy
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Lean
- Lua
- Makefile
- Nix
- OCaml
- OpenSCAD
- PHP
- Perl
- PureScript
- Python
- Racket
- Ruby
- Rust
- SCSS
- Scala
- Scheme
- Shell
- Shen
- TeX
- TypeScript
- UrWeb
- Verilog
- Vim Script
- Zig
Beautiful, interactive visualizations of logical inference
A local-first personal finance app
[not actively maintained] Mount your Microsoft OneDrive storage as FUSE filesystem.
egg is a flexible, high-performance e-graph library
Lightweight Music Server. Access your self-hosted music using a web interface.
Search-based compiler for high-performance DSP programming
A many speaker distributed music synthesizer using UDP multicast over WiFi
A modern client-server application for the Soulseek file sharing network.
A Haskell re-implementation of the Nix expression language
(with-reaper 'make-music) : Reaper scripting with s7 scheme. Hacking your DAW from emacs
Modules to help you handle persistent state on systems with ephemeral root storage [maintainer=@talyz]
A little course to learn about some of the more obscure GHC extensions.
A web interactive for generating and exploring quasiperiodic tiling patterns
A (more or less) one page introduction to Nix, the language.
Handle pattern with servant to build flexible web-apps in Haskell
Style-based Neural Drum Synthesis with GAN inversion
A type-level, statically-verified Haskell embedded domain specific language (EDSL) for writing guitar tablature.
Python package to enforce column names & data types of pandas DataFrames
Fast loops for Haskell (for when GHC can't optimize forM_), with benchmarks
Show minibuffer in child frame on read-from-minibuffer
Haskell memory inspection, debugging and tracing library