hermits-grove / monaLinks
a password manager for hermits
☆30Updated 7 years ago
Alternatives and similar repositories for mona
Users that are interested in mona are comparing it to the libraries listed below
Sorting:
- A private decentralized database replicated over Git (or any other distributed log)☆75Updated 5 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Updated 8 years ago
- A code browsing library for VCS file systems.☆31Updated 2 years ago
- it's like a blockchain but for collaborative editing of json documents☆40Updated 5 years ago
- Pijul <-> Git proxy☆22Updated 6 years ago
- The Yatima Standard Library☆20Updated last year
- An open-source database inspired by Datomic☆30Updated last year
- what is the soul of man when soul and body seperates body dies soul lives fear not man which can only destroy the body, but fear him whic…☆22Updated 12 years ago
- A drop-in replacement for `cargo` which yet uses crates.io index☆16Updated 8 years ago
- Oscoin Full Node Implementation in Haskell (Work in Progress)☆24Updated 5 years ago
- ☆69Updated 2 years ago
- Strace in Rust☆48Updated 3 years ago
- A Nix evaluator written in Rust☆12Updated 5 years ago
- ☆29Updated 7 years ago
- optimize your home bar with ✨logic programming✨☆78Updated 3 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
- Purely Functional Data Structures in Rust☆43Updated 9 years ago
- Typed λ-calculus in Rust☆29Updated 2 years ago
- FingerTree implemented in rust☆23Updated last year
- Get a GUI fast in any language under the sea!☆47Updated 2 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆17Updated 6 years ago
- Ephemeral chats over encrypted tcp streams for the Scuttleverse☆48Updated 5 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Updated 7 years ago
- GNUnet bindings for Rust☆15Updated 7 years ago
- Fungi: Typed incremental computation with names☆70Updated 5 years ago
- ☆34Updated last year
- Dysnomia: A tool for deploying mutable components☆86Updated last year
- ☆37Updated 2 weeks ago
- The next-generation Olin runtime, made with love☆66Updated 3 years ago
- cargo +nightly build☆34Updated 6 years ago