π¦ Ξ» 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
- FerroCrypt is a pure Rust library, CLI, and desktop application for encrypting and decrypting files and directories using password-based β¦β18Updated this week
- β12Dec 3, 2025Updated 7 months ago
- β21Oct 20, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.β15Jul 17, 2022Updated 4 years 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 command-line tool for exposing a wrapped program's standard IO using WebSockets/SSEβ18Updated this 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 6 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 3 years ago
- A View Model framework written in rust, inspired by Next.js.β10May 29, 2023Updated 3 years ago
- 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.
- A zero-copy json-lexer, filters and serializer.β19Jul 25, 2024Updated last year
- A rust library built to support building time-series based projection modelsβ22Nov 21, 2022Updated 3 years ago
- Database-like Asset management on top of ECS storageβ14Jun 24, 2026Updated last month
- Rust GUI library.β19Jul 29, 2024Updated last year
- A simple, lightweight and extensible command line argument parser for rust codebasesβ22Jun 22, 2022Updated 4 years ago
- Simple implementation of call-by-need lazy lambda calculus in Rust.β15Apr 8, 2024Updated 2 years ago
- Scope Graph Implementation in Rustβ32Nov 22, 2024Updated last year
- http range responses for axumβ14Sep 16, 2025Updated 10 months ago
- Zero-terminated string types for FFI.β13Mar 13, 2023Updated 3 years ago
- Deploy on Railway without the complexity - Free Credits Offer β’ AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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.β42Nov 2, 2022Updated 3 years ago
- A Rust crate to expressively declare bitfield-like structsβ55Dec 15, 2025Updated 7 months ago
- Build a simple Halogen app using Nixβ25Jan 5, 2023Updated 3 years ago
- Lightweight command line tool to quickly navigate across folders.β36Sep 20, 2023Updated 2 years ago
- PDF library in Rustβ41Mar 6, 2026Updated 4 months ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Terminal UI framework based on templates and focused on simplicity.β44Oct 6, 2022Updated 3 years ago
- Move lasers around to complete each puzzle.β20Dec 4, 2024Updated last year
- π¦π Rust library to compare strings (or any sequences). 25+ algorithms, pure Rust, common interface, Unicode support.β303Nov 19, 2024Updated last year
- Just another static site generator -> γγͺγγζγγγ§γγβ11Dec 5, 2023Updated 2 years ago
- Bookmark directories for easy directory-hopping in the terminalβ14Sep 10, 2025Updated 10 months ago
- β18May 4, 2020Updated 6 years ago
- Rust powered background process CLI task managerβ15May 2, 2022Updated 4 years ago