ehmry / genode-nix
☆12Updated this week
Related projects: ⓘ
- Run programs defined in nix expressions☆50Updated 7 years ago
- Automatic code formatter for the Nix programming language☆52Updated 8 years ago
- DEPRECATED Haskell bindings for the Wayland library☆32Updated 8 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆14Updated 7 years ago
- Nix development utils that will blow up your mind☆44Updated 8 years ago
- Reversible parsing and pretty-printing.☆14Updated 9 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 8 years ago
- Tests your pull requests using Hydra☆20Updated 6 years ago
- A Nix expression for nightly Rust versions☆40Updated 5 years ago
- A Nix evaluator written in Rust☆12Updated 4 years ago
- Buildsome: The awesome build system☆53Updated last year
- A Haskell-only implementation of zlib / DEFLATE.☆31Updated 2 years ago
- ☆18Updated 4 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 7 years ago
- TOML file format parser in Haskell☆38Updated 2 years ago
- Old Nix expressions for Idris packaging. Idris support moved into Nixpkgs!☆28Updated 9 years ago
- A library for using algebraic data types in the Nix expression language.☆30Updated 6 years ago
- A wiki based on firm theoretical foundations☆52Updated 8 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 7 years ago
- Stream based PDF library☆14Updated 9 years ago
- Little web app displaying the age of the last NixOS channels☆44Updated 4 years ago
- ☆12Updated 9 years ago
- 2D physics and rendering for apecs☆45Updated 5 years ago
- ☆10Updated 5 years ago
- A hip inductive theorem prover!☆87Updated 2 years ago
- System POSIX bindings for Idris.☆35Updated 5 years ago
- Pretty printer for Nix .drv files.☆17Updated 6 years ago
- A concurrency framework for the Ivory language☆43Updated 4 years ago
- Dynamic Disnix: A toolset enabling self-adaptive redeployment on top of Disnix☆30Updated last year
- DisnixOS: A Disnix extension providing complementary infrastructure deployment using NixOS☆45Updated 11 months ago