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.☆24Updated this week
- CLI to build Rust apps for Ledger devices☆19Dec 10, 2025Updated 2 months ago
- A lean, minimal, and stable set of types for color interoperation between crates in Rust.☆29Jul 11, 2022Updated 3 years ago
- Elementary Number Theory for Integers in Rust☆20Mar 7, 2025Updated last year
- An MMIX virtual machine written in Rust☆17Sep 14, 2020Updated 5 years ago
- Rust Mini Game Framework☆23May 27, 2024Updated last year
- Getting started with ocaml-rs☆31Aug 31, 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 8 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
- 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☆17Oct 13, 2024Updated last year
- A tiny crate mimicking Elixir's pipe operator for Rust without macros.☆36Sep 14, 2021Updated 4 years ago
- A dynamically-typed CBPV language embedded in Racket☆40Mar 6, 2024Updated 2 years ago
- Spatial library for Rust☆42Aug 4, 2025Updated 7 months ago
- Number names is a Rust library to provide formatted string names for cardinal and ordinal numbers.☆13May 16, 2022Updated 3 years ago
- This repository comtains list of Ambassador programs for Developers and Students.☆11Jul 22, 2024Updated last year
- Extensions for the Rust standard library☆41Apr 2, 2024Updated last year
- A white-box Speck implementation using self-equivalence encodings☆13Jun 25, 2022Updated 3 years ago
- A synthesizer using React, ToneJS, and nexusUI.☆10Jul 18, 2016Updated 9 years ago
- ☆10Sep 28, 2020Updated 5 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
- Collection of Pure Data patches collected from all over the world (mostly not mine)☆11Dec 17, 2020Updated 5 years ago
- Polynomial semantics of linear logic☆13Apr 15, 2018Updated 7 years ago
- My final year project at the University of Strathclyde☆14Jan 26, 2023Updated 3 years ago
- Standard ML compiler based on typed intermediate languages.☆51Aug 22, 2014Updated 11 years ago
- Rust crate for working with Unified Font Object files☆53Jan 15, 2026Updated last month
- Profiling tool for Rust code.☆45Jan 20, 2025Updated last year
- A shell prompt with infinite customization☆39Jun 16, 2024Updated last year
- A bare-bones macro-based Entity-Component-System☆11Apr 11, 2021Updated 4 years ago
- JSON event parser is a simple streaming JSON parser and serializer implementation in Rust.☆14Mar 2, 2026Updated last week
- L-Systems in Rust☆15May 16, 2019Updated 6 years ago
- A collection of old versions of the Haskell Report☆13Aug 17, 2017Updated 8 years ago
- Rust traits for nonzero generic integers☆17May 24, 2022Updated 3 years ago
- Robotics @ Maryland Autonomous Underwater Vehicle☆14Aug 2, 2014Updated 11 years ago