Rustica is a functional programming library for the Rust language.
☆18Jul 5, 2026Updated last month
Alternatives and similar repositories for rustica
Users that are interested in rustica 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 disjoint-sets/union-find implementation that allows for efficient iteration over the elements of a set.☆11Aug 8, 2023Updated 3 years ago
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated 10 months ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated last year
- A toy ELF parser/validator☆17Dec 18, 2024Updated last year
- A certified RISC-V Interpreter with Hoare-logic in Lean☆22May 11, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- An ott-like DSL embedded in Lean.☆22Jul 16, 2026Updated 3 weeks ago
- ☆26Feb 26, 2023Updated 3 years ago
- Fast, hash-based, immutable collections.☆27Mar 8, 2024Updated 2 years ago
- Coq plugin for extracting Rust code☆24Jun 29, 2026Updated last month
- CI assistant☆50Jun 1, 2025Updated last year
- Application to help generate resume content based on your experience and your interesting job.☆13May 1, 2024Updated 2 years ago
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- A stateless password management solution☆10Sep 11, 2018Updated 7 years 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.
- WybeCoder Verified Generation of Imperative Code with LLMs☆37May 6, 2026Updated 3 months ago
- Domain modeling. Event sourcing. CQRS.☆59Jul 21, 2026Updated 3 weeks ago
- Universal Executables☆14Aug 30, 2018Updated 7 years ago
- Solutions to the Exercism.io rust track problems (exercism.io)☆11Oct 4, 2018Updated 7 years ago
- Simple and self-contained IDE for the ConTeXt typesetting system.☆21Oct 19, 2024Updated last year
- A RISC-V ISA simulator written in Rust☆12Jan 7, 2017Updated 9 years ago
- A resume generating tool☆29May 2, 2025Updated last year
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- ☆22Dec 12, 2021Updated 4 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A modular framework for building complete AI solutions. It's mostly a Rust framework with a subset of it ported to Deno.☆19Jul 8, 2026Updated last month
- A Shunting Yard implementation and Reverse Polish Notation calculator, written in Rust.☆15Mar 28, 2016Updated 10 years ago
- Base16 (https://github.com/chriskempson/base16) for Kakoune (https://github.com/mawww/kakoune/)☆13Aug 25, 2019Updated 6 years ago
- A Rust implementation of the Lean kernel☆10Jan 2, 2023Updated 3 years ago
- PassLok for Email Chrome and Firefox extension☆11Nov 25, 2024Updated last year
- A simple static password generator for rust☆14Jul 14, 2026Updated 3 weeks ago
- TypeScript client for Idris IDE-mode.☆13Nov 6, 2022Updated 3 years ago
- An AI agents framework addressing the two core challenges with real world agents - Optimisation and Deployement☆14Apr 3, 2024Updated 2 years ago
- Rapid Blockchain Prototypes for Rust☆15Feb 27, 2026Updated 5 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Building self-refined guardrails via DSPy☆14Jun 25, 2026Updated last month
- A Go library for windows update☆14Jan 18, 2018Updated 8 years ago
- Experiments with DSPy — declarative, trainable LLM pipelines. Notebooks and demos for evaluating, composing, and optimizing LLM workflows…☆10Jun 24, 2026Updated last month
- Beta (dev) environment for Bitburner☆10Feb 25, 2025Updated last year
- Rust library and CLI implementation of the LessPass password generator.☆21Jul 15, 2025Updated last year
- A Haskell implementation of the Formality language☆18Mar 9, 2020Updated 6 years ago
- Final Project in Cryptography - NT219.O11.ATTN☆19Feb 23, 2024Updated 2 years ago