softminus / SPLLinks
SOLIPSISTIC PUBLIC LICENSE
☆0Updated 4 years ago
Alternatives and similar repositories for SPL
Users that are interested in SPL are comparing it to the libraries listed below
Sorting:
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 8 years ago
- Get those pesky braces out of your face☆49Updated 7 years ago
- GNU bash backend for Idris☆52Updated 6 years ago
- Polyglots☆82Updated 9 years ago
- ELF data structures for Haskell☆24Updated 2 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 4 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 9 years ago
- Brainfuck with Actors☆36Updated 6 years ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- Tests your pull requests using Hydra☆20Updated 7 years ago
- xkcd #1692: Man Page☆45Updated 7 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- Managing third-party Haskell packages in Bazel☆30Updated 5 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- An IRC analysis server.☆81Updated 7 years ago
- Little web app displaying the age of the last NixOS channels☆46Updated 5 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- A formal moral framework coded in Haskell☆49Updated 10 years ago
- The Wadler/Leijen Pretty Printer for colored ANSI terminal output☆30Updated 5 years ago
- ☆16Updated 7 years ago
- Solver for Shenzen Solitaire☆15Updated 7 years ago
- Easily generate Hoogle indices for installed packages☆25Updated 9 years ago
- ALGT 2.0☆30Updated 5 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-text☆21Updated 6 years ago
- Strange Loop 2015 talk: knot notation, enumeration, and drawing☆31Updated 9 years ago
- WAI middleware that intercepts requests to static files and serves them if they exist.☆18Updated 3 months ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- A verified permissioned centralized Blockchain for Isabelle/HOL☆11Updated 7 years ago
- Haskell bindings for systemd☆19Updated 10 months ago