NixIPFS / notesLinks
ideas and planning on how to use IPFS together with Nix/OS
☆17Updated 8 years ago
Alternatives and similar repositories for notes
Users that are interested in notes are comparing it to the libraries listed below
Sorting:
- Haskell implementation of the InterPlanetary File System☆14Updated 11 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Updated 8 years ago
- Mirror a Hydra jobset using IPFS or plain rsync☆44Updated 7 years ago
- Nix package manager and Nix programming language☆11Updated 9 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Updated 8 years ago
- A Haskell client library for the IPFS API☆26Updated 8 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- ☆27Updated 6 years ago
- Run programs defined in nix expressions☆51Updated 8 years ago
- Session types for asynchronous networking☆21Updated 9 years ago
- A Haskell library implementing the Noise protocol.☆100Updated 8 months ago
- Nix development utils that will blow up your mind☆44Updated 9 years ago
- My .*rc files and some stuff. Lots of garbage, use with caution.☆41Updated 5 years ago
- ☆35Updated 7 years ago
- ☆28Updated 8 years ago
- Tool to convert literate code between styles or to code.☆11Updated 6 years ago
- A Nix expression for nightly Rust versions☆40Updated 6 years ago
- NixOS theme for SLiM lock☆17Updated 7 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- Automatic code formatter for the Nix programming language☆50Updated 9 years ago
- zalora nix expressions library☆18Updated 9 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 10 years ago
- Tiling window manager for wayland☆16Updated 9 years ago
- ELF data structures for Haskell☆24Updated 2 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- Idris to Serpent back end for Ethereum smart contracts☆32Updated 8 years ago
- Distributed programming language that desugars to Morte☆92Updated 3 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago