superbaud / SPL
SOLIPSISTIC PUBLIC LICENSE
☆0Updated 3 years ago
Related projects: ⓘ
- Tool to determine relevant parts of binary data☆44Updated 6 years ago
- ☆42Updated this week
- Solver for Shenzen Solitaire☆15Updated 6 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆58Updated 4 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆11Updated 8 years ago
- Notes on P-omega☆14Updated 7 years ago
- A package which exists solely to try and give the user a cute girl. Executable and library are both available.☆10Updated 6 years ago
- ELF data structures for Haskell☆24Updated last year
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 8 years ago
- Get those pesky braces out of your face☆49Updated 6 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Buildsome: The awesome build system☆53Updated last year
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆36Updated 6 years ago
- ☆17Updated this week
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- ☆27Updated 5 years ago
- Haskell bindings for systemd☆18Updated 2 months ago
- ☆26Updated this week
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- ☆23Updated 6 years ago
- A programming language that runs in Haskell's type system.☆249Updated 8 years ago
- Polyglots☆81Updated 8 years ago
- ☆34Updated 9 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆14Updated 7 years ago