hermits-grove / mona
a password manager for hermits
☆30Updated 6 years ago
Alternatives and similar repositories for mona:
Users that are interested in mona are comparing it to the libraries listed below
- A private decentralized database replicated over Git (or any other distributed log)☆77Updated 5 years ago
- ☆29Updated 7 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Updated 7 years ago
- ideas and planning on how to use IPFS together with Nix/OS☆17Updated 8 years ago
- [De]serializing data structures as files☆21Updated 6 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- ☆23Updated last year
- Prototypical Haskell virtual machine for Erlang's BEAM bytecode☆27Updated 13 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆15Updated 8 years ago
- Graphical programming editor☆33Updated 8 years ago
- A code browsing library for VCS file systems.☆32Updated 2 years ago
- Specification for the ssb protocol☆15Updated 3 years ago
- Exercises from the Idris lecture series presented at the ITU Copenhagen on March 11--15, updated to work with latest Idris releases.☆23Updated 9 years ago
- The Yatima Standard Library☆20Updated last year
- cargo +nightly build☆34Updated 5 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆12Updated 5 years ago
- Haskell OverloadedStrings for Rust☆11Updated 8 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- Pijul <-> Git proxy☆19Updated 5 years ago
- GNUnet bindings for Rust☆15Updated 6 years ago
- An open-source database inspired by Datomic☆30Updated last year
- A client library for interfacing with ssb from rust.☆39Updated 3 years ago
- A transducer library for Rust☆10Updated 8 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Updated last year
- Example Integration for Embedding Rust in Haskell☆35Updated 6 years ago
- Scheme Interpreter in Rust☆27Updated 7 years ago
- A trivial HelloWorld example used to demonstrate in which ways components can be composed through Disnix☆12Updated last year
- it's like a blockchain but for collaborative editing of json documents☆40Updated 5 years ago
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago