Rustica is a functional programming library for the Rust language.
☆18Aug 24, 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:
- ☆14Feb 28, 2025Updated last year
- ☆17Jun 12, 2026Updated 2 months ago
- Conduit bindings for kafka-client☆20Oct 11, 2022Updated 3 years ago
- Total lexer and parser for Idris2☆19Sep 22, 2025Updated 11 months ago
- A Course in Data Structures & Algorithms, Purposeful Web Engineering, Software Construction☆10Sep 4, 2024Updated last year
- 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.
- A slackbot to compete on mini crosswords (or any other daily challenge).☆17May 25, 2022Updated 4 years ago
- A toy ELF parser/validator☆17Dec 18, 2024Updated last year
- ☆22Sep 8, 2021Updated 4 years ago
- An ott-like DSL embedded in Lean.☆22Jul 16, 2026Updated last month
- ☆26Feb 26, 2023Updated 3 years ago
- A toy programming language you use to build other toys☆13May 15, 2025Updated last year
- Utilities for working with Scala in NeoVim.☆14Nov 15, 2021Updated 4 years ago
- ☆22Mar 10, 2026Updated 5 months ago
- p4 controller in Rust☆12Feb 22, 2021Updated 5 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.
- Coq plugin for extracting Rust code☆24Jun 29, 2026Updated 2 months ago
- Application to help generate resume content based on your experience and your interesting job.☆13May 1, 2024Updated 2 years ago
- Scala validation library☆49Updated this week
- Capability-based verifier for safe Rust clients of interior mutability☆15Jul 18, 2024Updated 2 years ago
- Checker for "morally correct" induction proofs about haskell programs☆11Mar 16, 2022Updated 4 years ago
- WybeCoder Verified Generation of Imperative Code with LLMs☆39May 6, 2026Updated 3 months ago
- Universal Executables☆14Aug 30, 2018Updated 8 years ago
- Solutions to the Exercism.io rust track problems (exercism.io)☆11Oct 4, 2018Updated 7 years ago
- Rust interposition layer for glibc: transparent safety membrane that incrementally replaces C library functions with memory-safe Rust imp …☆49Updated this week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- A RISC-V ISA simulator written in Rust☆12Jan 7, 2017Updated 9 years ago
- Rust Automated Theorem Proving library inspired by a text by John Harrison (WIP)☆23May 21, 2025Updated last year
- Sandboxed code execution for LLMs, powered by Nix☆16Jul 23, 2026Updated last month
- Rust crate that provides number types similar to std's NonZero* types, but that cannot hold a type's maximum value instead.☆64Jun 16, 2026Updated 2 months ago
- Base16 (https://github.com/chriskempson/base16) for Kakoune (https://github.com/mawww/kakoune/)☆13Aug 25, 2019Updated 7 years ago
- Haskell's IO simulator which closely follows core packages (base, async, stm).☆54Aug 21, 2026Updated last week
- PassLok for Email Chrome and Firefox extension☆11Nov 25, 2024Updated last year
- A simple static password generator for rust☆14Jul 14, 2026Updated last month
- 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.
- 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 6 months ago
- 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 2 months ago
- The Yatima Standard Library☆20Dec 13, 2023Updated 2 years ago
- Rust library and CLI implementation of the LessPass password generator.☆21Jul 15, 2025Updated last year
- Final Project in Cryptography - NT219.O11.ATTN☆19Feb 23, 2024Updated 2 years ago