Rust crates for NFS3 protocol
☆25Oct 21, 2026Updated last week
Alternatives and similar repositories for nfs3
Users that are interested in nfs3 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A View Model framework written in rust, inspired by Next.js.☆10May 29, 2023Updated 3 years ago
- kdtree implementation for rust.☆14Mar 24, 2020Updated 6 years ago
- roundtrip-free Rust to JavaScript "remote method invocation" or "distributed objects" system☆14Jun 4, 2025Updated last year
- Wait for async tasks☆13Dec 22, 2022Updated 3 years ago
- CLI tool for indexing local markdown files which can then be searched for using natural language queries; a duck duck go for your local f…☆12Apr 18, 2022Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Two-panel file manager on blade+egui☆25Oct 21, 2026Updated last week
- Scoped Runtime for tokio☆19Aug 19, 2022Updated 4 years ago
- ☆12Oct 18, 2026Updated last week
- Dart - rust - Flutter compatibility☆48Jul 4, 2020Updated 6 years ago
- My Blog☆18Oct 17, 2026Updated last week
- ☆10Jan 11, 2019Updated 7 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Oct 17, 2026Updated last week
- Compile time checks that a computation considers producing data through all possible constructors☆11Sep 19, 2019Updated 7 years ago
- An evolving collection of Oleg Kiselyov's Haskell modules (released with his permission). See the original articles at http://okmij.org/…☆13Jan 5, 2014Updated 12 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A dart binding of quickjs, a powerful js engine with native_assets_cli.☆13Mar 18, 2026Updated 7 months ago
- The contents of what was formerly https://svn.declarativity.net☆11Dec 8, 2015Updated 10 years ago
- Stack-safe recursion schemes on dissectible data structures.☆14May 6, 2022Updated 4 years ago
- Notes and slides from my Encodings talk at RubyConf Brasil 2010☆13Nov 1, 2010Updated 15 years ago
- Total Logic-Less Templating Library☆14Jan 25, 2018Updated 8 years ago
- ☆11Aug 24, 2021Updated 5 years ago
- ☆29Aug 16, 2024Updated 2 years ago
- Grapheme aware string handling (Unicode tr29)☆11Sep 19, 2024Updated 2 years ago
- Various mechanized proof files for fun.☆17Oct 2, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Lazy Hacker Editor. Because nothing beats the eficiency of writing code already written. This is that kind of editor. Just for real hacke…☆10Dec 28, 2024Updated last year
- A Hindley-Milner type inference implementation in Prolog☆15Feb 9, 2015Updated 11 years ago
- speedy wasm layout library for Deno☆25Feb 10, 2023Updated 3 years ago
- Validate and patch AV1 levels☆15Jun 23, 2026Updated 4 months ago
- JavaScript parser for Dart☆12Aug 6, 2019Updated 7 years ago
- An SSH agent written in Rust with more security features and sandboxing☆21Aug 31, 2025Updated last year
- Idris Version Manager☆17Feb 23, 2025Updated last year
- Ideas, documents, and tutorial pile for the Prowl Language☆13Aug 2, 2024Updated 2 years ago
- Experiment with synthetic domain theory in cubical agda☆16Nov 8, 2022Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A programming language with first-class modules and algebraic effects.☆15Dec 3, 2022Updated 3 years ago
- ☆16May 14, 2026Updated 5 months ago
- A self-verifying, self-improving Place for an AI to live within: an untrusted inhabitant acts through a machine-checked policy envelope w…☆19Sep 26, 2026Updated last month
- A table library for Idris 2☆16Oct 25, 2022Updated 4 years ago
- ☆14Dec 9, 2022Updated 3 years ago
- College assignment writing in which I ramble about type classes and dependent types.☆12Dec 11, 2020Updated 5 years ago
- ☆12Updated this week