π¦ Ξ» 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 2 years ago
- β12Dec 3, 2025Updated 5 months ago
- β21Oct 20, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.β15Jul 17, 2022Updated 3 years ago
- A command-line tool for exposing a wrapped program's standard IO using WebSockets/SSEβ18Updated this week
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- c'est le marchΓ©β41Jun 16, 2023Updated 2 years ago
- A View Model framework written in rust, inspired by Next.js.β10May 29, 2023Updated 2 years ago
- Database-like Asset management on top of ECS storageβ14Feb 1, 2026Updated 3 months ago
- 1-Click AI Models by DigitalOcean Gradient β’ AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- Rust GUI library.β19Jul 29, 2024Updated last year
- β20Apr 13, 2026Updated last month
- A zero-copy json-lexer, filters and serializer.β19Jul 25, 2024Updated last year
- 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
- Zero-terminated string types for FFI.β13Mar 13, 2023Updated 3 years ago
- http range responses for axumβ14Sep 16, 2025Updated 8 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)β13Dec 22, 2025Updated 5 months ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 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)β47Dec 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 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform β’ AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A simple, lightweight and extensible command line argument parser for rust codebasesβ22Jun 22, 2022Updated 3 years ago
- Build a simple Halogen app using Nixβ25Jan 5, 2023Updated 3 years ago
- Smart Rust LOC counter, distinguising code, examples, tests and doc commentsβ23Apr 19, 2026Updated last month
- My Niri Setupβ40May 6, 2026Updated 2 weeks ago
- 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