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
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Updated 8 years ago
- Mirror a Hydra jobset using IPFS or plain rsync☆44Updated 7 years ago
- A Haskell library implementing the Noise protocol.☆100Updated 9 months ago
- ☆27Updated 6 years ago
- ☆28Updated 8 years ago
- Multihash Haskell implementation☆28Updated 2 years ago
- A Haskell client library for the IPFS API☆26Updated 8 years ago
- Nix package manager and Nix programming language☆11Updated 9 years ago
- A haskell library implementing the Kademlia DHT☆43Updated 6 years ago
- My .*rc files and some stuff. Lots of garbage, use with caution.☆41Updated 5 years ago
- Tool to determine relevant parts of binary data☆44Updated 7 years ago
- A program that mounts a NAR (Nix Archive) archive as a filesystem using FUSE. This repo is written in C++; it has now been rewritten in H…☆23Updated 9 years ago
- Idris to Serpent back end for Ethereum smart contracts☆31Updated 8 years ago
- ELF data structures for Haskell☆24Updated 2 years ago
- Automatic code formatter for the Nix programming language☆50Updated 9 years ago
- Haskell Tox protocol implementation☆42Updated 6 months ago
- A wiki based on firm theoretical foundations☆51Updated 9 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Updated 8 years ago
- Run programs defined in nix expressions☆51Updated 8 years ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 7 years ago
- Nix development utils that will blow up your mind☆44Updated 9 years ago
- NixOS theme for SLiM lock☆17Updated 7 years ago
- Nix expressions for cross compiling to WebAssembly☆145Updated 5 years ago
- Double ratchet algorithm for E2E encryption☆59Updated 6 years ago
- An IRC analysis server.☆81Updated 7 years ago
- SPAKE2 key exchange protocol for Haskell☆14Updated 2 years ago
- Translate Pascal into Haskell☆51Updated 6 years ago
- http://www.reddit.com/r/NixOS/comments/3544gi/nix_runixporn/☆32Updated 10 years ago