๐ฆ ฮป Overly-documented Rust-powered Lambda Calculus Interpreter.
โ69Apr 3, 2025Updated last year
Alternatives and similar repositories for rlci
Users that are interested in rlci 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 quick-and-dirty attempt to get scoped tasks in Rust.โ14Jun 4, 2023Updated 3 years ago
- โ12Dec 3, 2025Updated 6 months ago
- โ21Oct 20, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.โ15Jul 17, 2022Updated 3 years ago
- Functional language with a powerful type system.โ175Feb 7, 2024Updated 2 years ago
- Virtual machines for every use case on DigitalOcean โข AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- A command-line tool for exposing a wrapped program's standard IO using WebSockets/SSEโ18Jun 25, 2026Updated last week
- rcrypt is a compact hashing and salting library based on bcrypt that produces smaller hashesโ13Sep 13, 2022Updated 3 years ago
- Derive macro for encoding/decoding instructions and operands as bytecodeโ15Mar 15, 2022Updated 4 years ago
- A new cross platform general prupose Line editor implementation designed with the goal to be flexible and customizableโ48Oct 30, 2024Updated last year
- A collection of software alternatives written in Rustโ29Apr 14, 2023Updated 3 years ago
- Embeddable ED in rustโ20Jan 17, 2026Updated 5 months ago
- "Serialize" type info to a runtime tag based on serde data model.โ15Apr 17, 2023Updated 3 years ago
- โ28Jul 11, 2024Updated last year
- A View Model framework written in rust, inspired by Next.js.โ10May 29, 2023Updated 3 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.
- Database-like Asset management on top of ECS storageโ14Jun 24, 2026Updated last week
- Rust GUI library.โ19Jul 29, 2024Updated last year
- โ20Apr 13, 2026Updated 2 months ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.โ15Apr 8, 2024Updated 2 years ago
- A rust library built to support building time-series based projection modelsโ22Nov 21, 2022Updated 3 years ago
- Scope Graph Implementation in Rustโ32Nov 22, 2024Updated last year
- http range responses for axumโ14Sep 16, 2025Updated 9 months ago
- A minimal reference implementation of automatic differentiation in Rustโ17Sep 23, 2022Updated 3 years ago
- Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)โ13May 31, 2026Updated last month
- Proton VPN Special Offer - Get 70% off โข AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Ray Tracer written in Rustโ13Nov 22, 2021Updated 4 years ago
- A library for deserializing a variety of file formats directly into numpy arraysโ29Jun 15, 2023Updated 3 years ago
- A Rust library for rendering images to terminalsโ28Jul 30, 2022Updated 3 years ago
- RXI's microui ported to rust (not a binding)โ48Dec 27, 2023Updated 2 years ago
- A cli tool that creates color palettes from images using the median cut algorithm.โ43Nov 2, 2022Updated 3 years ago
- A Rust crate to expressively declare bitfield-like structsโ55Dec 15, 2025Updated 6 months ago
- Move lasers around to complete each puzzle.โ20Dec 4, 2024Updated last year
- PDF library in Rustโ41Mar 6, 2026Updated 3 months ago
- A simple, lightweight and extensible command line argument parser for rust codebasesโ22Jun 22, 2022Updated 4 years ago
- Managed Kubernetes at scale on DigitalOcean โข AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Smart Rust LOC counter, distinguising code, examples, tests and doc commentsโ23Apr 19, 2026Updated 2 months ago
- My Niri Setupโ44May 6, 2026Updated last month
- Just another static site generator -> ใใชใใๆใใใงใใโ11Dec 5, 2023Updated 2 years ago
- ๐ฆ๐ Rust library to compare strings (or any sequences). 25+ algorithms, pure Rust, common interface, Unicode support.โ303Nov 19, 2024Updated last year
- Bookmark directories for easy directory-hopping in the terminalโ13Sep 10, 2025Updated 9 months ago
- Rust powered background process CLI task managerโ15May 2, 2022Updated 4 years ago
- Easy declarative web interfaces.โ400Apr 10, 2026Updated 2 months ago