๐ฆ ฮป 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
- End-to-end encrypted email - Proton Mail โข AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- A command-line tool for exposing a wrapped program's standard IO using WebSockets/SSEโ18Jun 4, 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โ49Oct 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 4 months ago
- "Serialize" type info to a runtime tag based on serde data model.โ15Apr 17, 2023Updated 3 years ago
- A View Model framework written in rust, inspired by Next.js.โ10May 29, 2023Updated 3 years ago
- Database-like Asset management on top of ECS storageโ14Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI โข AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Rust GUI library.โ19Jul 29, 2024Updated last year
- โ20Apr 13, 2026Updated last month
- Simple implementation of call-by-need lazy lambda calculus in Rust.โ15Apr 8, 2024Updated 2 years ago
- The LoCoHD metric for protein-protein structure comparisonโ15Oct 1, 2025Updated 8 months 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
- Zero-terminated string types for FFI.โ13Mar 13, 2023Updated 3 years 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 week
- Managed hosting for WordPress and PHP on Cloudways โข AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 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 2 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 5 months ago
- Lightweight command line tool to quickly navigate across folders.โ36Sep 20, 2023Updated 2 years ago
- Move lasers around to complete each puzzle.โ20Dec 4, 2024Updated last year
- PDF library in Rustโ41Mar 6, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean โข AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Build a simple Halogen app using Nixโ25Jan 5, 2023Updated 3 years ago
- A simple, lightweight and extensible command line argument parser for rust codebasesโ22Jun 22, 2022Updated 3 years ago
- Smart Rust LOC counter, distinguising code, examples, tests and doc commentsโ23Apr 19, 2026Updated last month
- Just another static site generator -> ใใชใใๆใใใงใใโ11Dec 5, 2023Updated 2 years ago
- Terminal UI framework based on templates and focused on simplicity.โ44Oct 6, 2022Updated 3 years ago
- ๐ฆ๐ Rust library to compare strings (or any sequences). 25+ algorithms, pure Rust, common interface, Unicode support.โ303Nov 19, 2024Updated last year
- Rust powered background process CLI task managerโ15May 2, 2022Updated 4 years ago