Like a cell, but make lifetimes dynamic instead of ownership
☆22Jul 14, 2022Updated 4 years ago
Alternatives and similar repositories for lending-cell
Users that are interested in lending-cell are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 9 years ago
- Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.☆15Jun 1, 2020Updated 6 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 8 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Aug 31, 2026Updated 2 months ago
- Label dependent dependent session types☆16May 2, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A library for comparing data structures in Rust, oriented toward testing☆26Sep 11, 2026Updated last month
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 4 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 4 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 6 years ago
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 6 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated 2 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆23Feb 4, 2022Updated 4 years ago
- A more flexible version of the Rust `scoped-tls` library☆19Oct 26, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Instantiate, inspect, and invoke Wasm components from within a component.☆17Jun 27, 2024Updated 2 years ago
- ☆20Mar 15, 2016Updated 10 years ago
- Archive of the ES4 reference interpreter that was a work-in-progress when ES4 was cancelled.☆26Feb 27, 2014Updated 12 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 8 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 4 years ago
- ☆10Jun 15, 2021Updated 5 years ago
- 교육청 학생 건강상태 자가진단 자동화 앱☆11Feb 6, 2022Updated 4 years ago
- Proposed plumbing commands for cargo☆27Oct 8, 2026Updated 3 weeks ago
- A Haskell implementation of the tiger compiler☆10May 2, 2020Updated 6 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- HTTP client / server with limited dependencies☆23Nov 20, 2024Updated last year
- A mini language for logic programming☆23Jun 5, 2020Updated 6 years ago
- My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5☆14Oct 6, 2021Updated 5 years ago
- Barry Jay's (bond-eye) pattern language☆12Mar 16, 2011Updated 15 years ago
- A library to use Redis as the persistence store for Paho Rust MQTT clients☆20Oct 26, 2023Updated 3 years ago
- A JSON schema linter built for some specific purposes at Giant Swarm☆14Updated this week
- ROS on Microk8s sample files☆11Nov 17, 2020Updated 5 years ago
- Real World Rust Design Pattern☆25Nov 17, 2021Updated 4 years ago
- OpenTelemetry API for WASI☆23Apr 28, 2026Updated 6 months ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Visualization tool for your IO-uring workload☆22Aug 19, 2024Updated 2 years ago
- Coop maps for FAF☆11Sep 26, 2026Updated last month
- A usable type system for call by push-value☆33Dec 16, 2019Updated 6 years ago
- Korean IME for linux☆11Oct 9, 2019Updated 7 years ago
- A rust websocket client for phoenix channels☆14Apr 17, 2018Updated 8 years ago
- Command line linker for creating WebAssembly components☆51Oct 21, 2026Updated last week
- Matt’s Protocol for Results Everywhere Guaranteed☆10Aug 15, 2026Updated 2 months ago