Rustica is a functional programming library for the Rust language.
☆18Oct 30, 2026Updated this week
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:
- ☆17Jun 12, 2026Updated 4 months ago
- ☆14Feb 28, 2025Updated last year
- Conduit bindings for kafka-client☆20Oct 11, 2022Updated 4 years ago
- Total parser combinators library for Lean4☆10May 10, 2025Updated last year
- Solutions to the Incredible Proof Machine https://incredible.pm/☆10Oct 3, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Formal Verification of the OpenVM RISC-V, Keccak, and SHA-2 Extensions☆14Jul 15, 2026Updated 3 months ago
- Lean playground for programming language modeling tooling.☆15May 20, 2026Updated 5 months ago
- A Lean formalization of the theory of oracle computability and Turing degrees via partial recursive functions☆15May 28, 2026Updated 5 months ago
- experimental LeanOS formally verified OS☆18Oct 19, 2026Updated 2 weeks ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- Network graphs with nodes and edges written in Elm.☆11May 30, 2017Updated 9 years ago
- The HOL System is an environment for interactive theorem proving in a higher-order logic. Its most outstanding feature is its high degre…☆11Oct 24, 2016Updated 10 years ago
- Talks I've given at various conferences☆20Mar 2, 2018Updated 8 years ago
- Bubo, the owl strategist, here to help you to build a fortune. NyxsOwl is an innovative machine learning framework designed to simplify a…☆10Jul 8, 2025Updated last year
- 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.
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- Directed type theory for formal category theory☆19Apr 7, 2017Updated 9 years ago
- A Lean 4 library for formal linguistics.☆30Updated this week
- Mu-FRET adds refactoring functionality to the Formal Requirements Elicitation Tool (FRET). Originally this work was part of the VALU3S pr…☆13Mar 14, 2026Updated 7 months ago
- Simple app to keep track of two scores.☆17Sep 20, 2025Updated last year
- A certified RISC-V Interpreter with Hoare-logic in Lean☆23Aug 11, 2026Updated 2 months ago
- Lean4: Total parser combinator library with do notation☆23Sep 9, 2026Updated last month
- A easy to use Rust LDAP library with high-level capabilities☆13Oct 10, 2026Updated 3 weeks ago
- Nix tooling for the seL4 microkernel & ecosystem☆21Aug 7, 2026Updated 2 months 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.
- Verus-verified implementation of Ironfleet Sharded Hash Table key-value store☆12Sep 22, 2026Updated last month
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆36Oct 15, 2026Updated 2 weeks ago
- Binary logical relations library for the Coq proof assistant☆23Sep 15, 2026Updated last month
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- A rust port of con-leche☆34Updated this week
- ACE View is a natural language based ontology and rule editor. ACE View uses Attempto Controlled English (ACE) in the front-end, and Web …☆11Dec 16, 2018Updated 7 years ago
- A proof of the consistency of ZF in axiom-free Lean☆23Sep 19, 2026Updated last month
- ☆21Nov 3, 2024Updated 2 years ago
- This cFS app is called Diagnostic Reasoner (DR), and as the name implies, it will diagnose a system of interest. That is, it will do faul…☆12Jul 1, 2020Updated 6 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.
- Tool to select and copy special characters from all installed fonts☆18Updated this week
- JSON Web Token (JWT) decoding and encoding☆23Updated this week
- Python to Rust compiler☆14Aug 28, 2022Updated 4 years ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- This repository provides a GitHub Action for running the Kani Rust Verifier in CI.☆14Sep 20, 2026Updated last month
- Fast, hash-based, immutable collections.☆27Mar 8, 2024Updated 2 years ago
- A stateless password management solution☆10Sep 11, 2018Updated 8 years ago