π¦ Ξ» 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 folders using password-based or kβ¦β21Updated this week
- β12Dec 3, 2025Updated 10 months ago
- β21Oct 20, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.β15Jul 17, 2022Updated 4 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.
- Functional language with a powerful type system.β176Feb 7, 2024Updated 2 years ago
- A command-line tool for exposing a wrapped program's standard IO using WebSockets/SSEβ18Oct 1, 2026Updated last week
- rcrypt is a compact hashing and salting library based on bcrypt that produces smaller hashesβ13Sep 13, 2022Updated 4 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β22Jan 17, 2026Updated 8 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
- Managed Database hosting by DigitalOcean β’ AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A View Model framework written in rust, inspired by Next.js.β10May 29, 2023Updated 3 years ago
- A zero-copy json-lexer, filters and serializer.β20Jul 25, 2024Updated 2 years ago
- 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β16Aug 22, 2026Updated last month
- Rust GUI library.β19Jul 29, 2024Updated 2 years ago
- 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.β15Sep 23, 2026Updated 2 weeks ago
- Scope Graph Implementation in Rustβ33Nov 22, 2024Updated last year
- A minimal reference implementation of automatic differentiation in Rustβ17Sep 23, 2022Updated 4 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.
- Zero-terminated string types for FFI.β13Mar 13, 2023Updated 3 years ago
- Strongly typed linear algebra library with a focus on 3D applications like games (i.e. low-dimensional vectors and matrices)β15May 31, 2026Updated 4 months ago
- Ray Tracer written in Rustβ13Nov 22, 2021Updated 4 years ago
- A Rust library for rendering images to terminalsβ28Jul 30, 2022Updated 4 years ago
- RXI's microui ported to rust (not a binding)β51Dec 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 9 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 3 years ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- PDF library in Rustβ40Mar 6, 2026Updated 7 months ago
- Terminal UI framework based on templates and focused on simplicity.β45Oct 6, 2022Updated 4 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 last year
- β18May 4, 2020Updated 6 years ago