Rustica is a functional programming library for the Rust language.
☆18Oct 6, 2026Updated last 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:
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated last year
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated 2 years ago
- A toy ELF parser/validator☆18Dec 18, 2024Updated last year
- A certified RISC-V Interpreter with Hoare-logic in Lean☆22Aug 11, 2026Updated 2 months ago
- Model for provider-neutral financial data, with implementation for IEX☆14Jul 30, 2019Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- An ott-like DSL embedded in Lean.☆22Updated this week
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- ☆22Mar 10, 2026Updated 7 months ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 years ago
- ☆21Nov 3, 2024Updated last year
- zio implementation for https://github.com/ulid/spec☆11Jan 16, 2024Updated 2 years ago
- Idem provides decentralized k-ordered ID generation.☆14Oct 13, 2020Updated 6 years ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- A pure Haskell (no libpq) postgresql driver that draws inspiration from postgresql-simple, has streaming built into its core, speaks post…☆25Oct 1, 2026Updated last week
- 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.
- Universal Executables☆14Aug 30, 2018Updated 8 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Simple and self-contained IDE for the ConTeXt typesetting system.☆21Oct 19, 2024Updated last year
- A resume generating tool☆29Sep 11, 2026Updated last month
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- ☆22Dec 12, 2021Updated 4 years ago
- A modular framework for building complete AI solutions. It's mostly a Rust framework with a subset of it ported to Deno.☆20Sep 14, 2026Updated 3 weeks ago
- Sandboxed code execution for LLMs, powered by Nix☆16Jul 23, 2026Updated 2 months ago
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆65Jun 16, 2026Updated 3 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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 7 years ago
- Learning about machine learning in rust☆14Aug 1, 2016Updated 10 years ago
- Run your Scotty apps over TLS☆26May 20, 2026Updated 4 months ago
- A Rust implementation of the Lean kernel☆10Jan 2, 2023Updated 3 years ago
- A simple static password generator for rust☆14Sep 20, 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
- Building self-refined guardrails via DSPy☆15Jun 25, 2026Updated 3 months ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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…☆11Jun 24, 2026Updated 3 months ago
- The shortest path to a successful project with Memgraph.☆15Jul 8, 2026Updated 3 months ago
- Beta (dev) environment for Bitburner☆10Feb 25, 2025Updated last year
- Migrated to https://codeberg.org/whitequark/factorio-data-codec☆11May 22, 2026Updated 4 months ago
- The Yatima Standard Library☆20Dec 13, 2023Updated 2 years ago
- Rust library and CLI implementation of the LessPass password generator.☆22Jul 15, 2025Updated last year