lukaszlew / call-by-need-in-rustView external linksLinks
Simple implementation of call-by-need lazy lambda calculus in Rust.
☆15Apr 8, 2024Updated last year
Alternatives and similar repositories for call-by-need-in-rust
Users that are interested in call-by-need-in-rust are comparing it to the libraries listed below
Sorting:
- Command line tool for generating a glTF 2.0 animation from a sequence of meshes☆17Apr 16, 2025Updated 10 months ago
- Rust library for handling ISBNs.☆24Feb 10, 2026Updated last week
- CLI to build Rust apps for Ledger devices☆19Dec 10, 2025Updated 2 months ago
- ☆21Nov 8, 2025Updated 3 months ago
- An MMIX virtual machine written in Rust☆17Sep 14, 2020Updated 5 years ago
- Elementary Number Theory for Integers in Rust☆20Mar 7, 2025Updated 11 months ago
- Rust Mini Game Framework☆23May 27, 2024Updated last year
- Multipurpose calculator with coalescing written in Rust☆22Dec 29, 2019Updated 6 years ago
- Serverless Optimized MODules - A Serverless Framework to create reusable micro apps☆18Jul 7, 2025Updated 7 months ago
- An opinionated, practical color management library for games and graphics.☆37Aug 1, 2023Updated 2 years ago
- making data science easy and safe with data frames in haskell☆28Jul 31, 2017Updated 8 years ago
- ☆36Jul 16, 2023Updated 2 years ago
- Cochlear implant signal processing☆10Jun 24, 2021Updated 4 years ago
- Create a photo gallery of your Flickr photos on your WordPress enabled website enabling you to customize it the way you like it. This pro…☆18Oct 13, 2018Updated 7 years ago
- Concurrency library☆16Oct 13, 2024Updated last year
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Sep 14, 2021Updated 4 years ago
- Spatial library for Rust☆42Aug 4, 2025Updated 6 months ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated last year
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- ☆10Sep 28, 2020Updated 5 years ago
- Number names is a Rust library to provide formatted string names for cardinal and ordinal numbers.☆13May 16, 2022Updated 3 years ago
- My final year project at the University of Strathclyde☆13Jan 26, 2023Updated 3 years ago
- A Python script to seamlessly convert LastPass CSV exports into the format required by Apple's Passwords app. Simplifies migrating your l…☆11Oct 17, 2024Updated last year
- A little book on General Relativity and Einstein–Cartan Theory☆16Mar 13, 2014Updated 11 years ago
- This repository comtains list of Ambassador programs for Developers and Students.☆11Jul 22, 2024Updated last year
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- mySight is myspectral.com Spectruino analyzer for light spectra in UV/VIS/NIR☆19Dec 26, 2013Updated 12 years ago
- Extensions for the Rust standard library☆41Apr 2, 2024Updated last year
- WeLearn Browser Extension☆10Jun 23, 2022Updated 3 years ago
- A versatile, easily configurable vocoder software in MATLAB, for research purposes☆12Apr 9, 2021Updated 4 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- Example uses of linear types☆42Jun 25, 2020Updated 5 years ago
- Profiling tool for Rust code.☆45Jan 20, 2025Updated last year
- A shell prompt with infinite customization☆39Jun 16, 2024Updated last year
- ☆13Jul 18, 2024Updated last year
- Go toolchain written in rust (parser, compiler)☆10Jan 21, 2026Updated 3 weeks ago
- libdecnumber bindings for the Rust programming language☆12May 7, 2025Updated 9 months ago
- tiny tiny shader playground☆16Nov 20, 2019Updated 6 years ago