njaard / lending-cellView external linksLinks
Like a cell, but make lifetimes dynamic instead of ownership
☆21Jul 14, 2022Updated 3 years ago
Alternatives and similar repositories for lending-cell
Users that are interested in lending-cell are comparing it to the libraries listed below
Sorting:
- Common lisp implementation of Val Schorr's Meta-II language☆19Mar 19, 2017Updated 8 years ago
- My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5☆14Oct 6, 2021Updated 4 years ago
- A bare-bones tool for converting JSON5 to plain JSON.☆13Aug 20, 2022Updated 3 years ago
- IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections☆15Feb 22, 2018Updated 7 years ago
- Visualization tool for your IO-uring workload☆17Aug 19, 2024Updated last year
- Korean IME for linux☆11Oct 9, 2019Updated 6 years ago
- 교육청 학생 건강상태 자가진단 자동화 앱☆11Feb 6, 2022Updated 4 years ago
- A tiny static site generator, greatly inspired by Zola.☆14Aug 8, 2022Updated 3 years ago
- nested & overlapping interval set functions, overlap, union, etc (Rust)☆17Apr 22, 2024Updated last year
- Label dependent dependent session types☆16May 2, 2024Updated last year
- libghwp is a GObject based library for handling HWP documents. (NOT maintained. DO NOT PR)☆23Jul 6, 2018Updated 7 years ago
- Naive implementation of a dungeon generator written in Rust☆15Nov 19, 2022Updated 3 years ago
- wrap errors with automatic backtrace capture and print-on-result-unwrap☆32Apr 29, 2024Updated last year
- An encoding of linear logic in Coq with minimal Sokoban and blocks world examples☆22Feb 4, 2022Updated 4 years ago
- A simple error library for no_std + no_alloc Rust☆18Apr 7, 2020Updated 5 years ago
- A Lambda expression compiler targeting web assembly.☆20Aug 7, 2024Updated last year
- XIM protocol parser and handler in Rust☆23Oct 18, 2025Updated 3 months ago
- Supporting tool for Gradual Typing☆16May 12, 2020Updated 5 years ago
- VM machine that runs on web browser!☆20Sep 22, 2023Updated 2 years ago
- 🇰🇷 영타를 한글로, 한타를 영어로 변환해주는 Kotlin 오픈소스 라이브러리 (Implementation of inko.js)☆14Aug 3, 2022Updated 3 years ago
- Lisp interpreter in assembly☆20Feb 16, 2018Updated 7 years ago
- ☆21Mar 15, 2016Updated 9 years ago
- Ultra-compact storage for collections of enums 🌱☆23Sep 12, 2022Updated 3 years ago
- ♾️ A Javascript runtime with function hibernation & automatic persistence!☆27Sep 18, 2024Updated last year
- Pure Rust Loco protocol implemention☆21Oct 15, 2023Updated 2 years ago
- A mini language for logic programming☆23Jun 5, 2020Updated 5 years ago
- Code from the paper 'Build Systems à la Carte' translated to Rust-like syntax☆21Oct 14, 2018Updated 7 years ago
- Sruth Lùbach: A toy optimization engine☆23Jun 7, 2021Updated 4 years ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆28Aug 30, 2022Updated 3 years ago
- Bit-vectors and bit-slices for Rust☆29Apr 29, 2021Updated 4 years ago
- Refinement types + dependent types = ❤️☆62Aug 8, 2022Updated 3 years ago
- A small ASCII-only bounded length string representation.☆61Feb 7, 2022Updated 4 years ago
- Real World Rust Design Pattern☆26Nov 17, 2021Updated 4 years ago
- A macro for inheriting Rust structures from C++ classes. Nothing valued is here.☆35Dec 4, 2023Updated 2 years ago
- A Machine Learning Framework for High Performance written in Rust☆28Sep 1, 2022Updated 3 years ago
- Implementation of NEAT(NeuroEvolution of Augmenting Topologies) algorithm in Rust☆29Aug 22, 2021Updated 4 years ago
- sptr: The Strict Provenance Polyfill☆75Oct 7, 2023Updated 2 years ago
- webp image encoder based on googles libwebp (java jni)☆24Mar 20, 2019Updated 6 years ago
- Rust bindings for HACL & Evercrypt☆30Apr 24, 2025Updated 9 months ago