softminus / SPL
SOLIPSISTIC PUBLIC LICENSE
☆0Updated 3 years ago
Related projects ⓘ
Alternatives and complementary repositories for SPL
- Core Cauterize components including: the schema compiler, the meta compiler, and the test infrastructure.☆46Updated 7 years ago
- Tool to determine relevant parts of binary data☆44Updated 6 years ago
- A Nix expression for nightly Rust versions☆40Updated 5 years ago
- Polyglots☆82Updated 8 years ago
- Git mirror of https://bitbucket.org/runhello/emily☆58Updated 4 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- A wiki based on firm theoretical foundations☆51Updated 8 years ago
- Program to compile Brainfuk to a working i686 kernel.☆31Updated 9 years ago
- ☆27Updated 5 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
- An IRC analysis server.☆81Updated 6 years ago
- Solver for Shenzen Solitaire☆15Updated 7 years ago
- A formal moral framework coded in Haskell☆49Updated 9 years ago
- Small programs with unknown halting status.☆12Updated 8 years ago
- Using GHC with musl libc to get true static linking☆75Updated 9 years ago
- xkcd #1692: Man Page☆44Updated 7 years ago
- GNU bash backend for Idris☆53Updated 5 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆14Updated 7 years ago
- Buildsome: The awesome build system☆53Updated 2 years ago
- a haskellified version of the classic sed unix tool☆21Updated 9 years ago
- Translate Pascal into Haskell☆51Updated 5 years ago
- Experiments on the construction of functions☆29Updated 8 years ago
- ☆10Updated 9 years ago
- Static blog generator in Idris.☆39Updated 9 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 9 years ago
- ELF data structures for Haskell☆24Updated last year
- Generate a gophermap from lobste.rs recent stories☆14Updated 2 months ago