π¦ Ξ» 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 8 months ago
- β21Oct 20, 2023Updated 2 years ago
- Solve hard constraints easily with Rust.β15Jul 17, 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.
- Functional language with a powerful type system.β175Feb 7, 2024Updated 2 years ago
- 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β21Jan 17, 2026Updated 6 months ago
- "Serialize" type info to a runtime tag based on serde data model.β15Apr 17, 2023Updated 3 years ago
- The LoCoHD metric for protein-protein structure comparisonβ15Oct 1, 2025Updated 10 months ago
- Managed Kubernetes at scale on DigitalOcean β’ AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A TurtleScript interpreter written in Rust.β19Oct 3, 2013Updated 12 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
- A zero-copy json-lexer, filters and serializer.β19Jul 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β14Jun 24, 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.β15Apr 8, 2024Updated 2 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.
- Scope Graph Implementation in Rustβ33Nov 22, 2024Updated last year
- http range responses for axumβ14Sep 16, 2025Updated 10 months ago
- A minimal reference implementation of automatic differentiation in Rustβ17Sep 23, 2022Updated 3 years ago
- 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 2 months ago
- 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 4 years ago
- RXI's microui ported to rust (not a binding)β48Dec 27, 2023Updated 2 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 cli tool that creates color palettes from images using the median cut algorithm.β42Nov 2, 2022Updated 3 years 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 5 months ago
- Terminal UI framework based on templates and focused on simplicity.β45Oct 6, 2022Updated 3 years ago
- Move lasers around to complete each puzzle.β20Dec 4, 2024Updated last year
- Just another static site generator -> γγͺγγζγγγ§γγβ11Dec 5, 2023Updated 2 years ago