softminus / SPL
SOLIPSISTIC PUBLIC LICENSE
☆0Updated 3 years ago
Alternatives and similar repositories for SPL:
Users that are interested in SPL are comparing it to the libraries listed below
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- Polyglots☆82Updated 9 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- A Nix expression for nightly Rust versions☆40Updated 5 years ago
- Little web app displaying the age of the last NixOS channels☆44Updated 4 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- A normalizing interpreter for the untyped λ-calculus in 292 characters of Haskell☆10Updated 8 years ago
- Tests your pull requests using Hydra☆20Updated 7 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆60Updated 4 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 9 years ago
- ☆27Updated 5 years ago
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- ELF data structures for Haskell☆24Updated last year
- Get those pesky braces out of your face☆49Updated 7 years ago
- Some writings about a type system for nix☆19Updated 7 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Updated 7 years ago
- cargo +nightly build☆34Updated 5 years ago
- (WIP/Experimental) Ricochet implementation as Haskell Library.☆22Updated 8 years ago
- Haskell implementation of gzip-compatible `pack` compression from the early 1980s☆37Updated 7 years ago
- ☆33Updated 9 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
- Small programs with unknown halting status.☆12Updated 8 years ago
- coveralls.io support for haskell code coverage with hpc☆60Updated last year
- ☆10Updated 9 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- Install everything.☆20Updated 6 years ago