Collection of immutable and persistent data structures written in Rust, inspired by the standard libraries found in Haskell, Closure and OCaml
☆23Nov 24, 2023Updated 2 years ago
Alternatives and similar repositories for prust
Users that are interested in prust are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Coq plugin for extracting Rust code☆19Mar 30, 2026Updated 2 weeks ago
- A behavioral state machine library written in Rust☆20Aug 24, 2025Updated 7 months ago
- LLVM JIT Cycle Accurate Simulator for HardCaml☆13May 21, 2017Updated 8 years ago
- Original Joy☆11Dec 17, 2024Updated last year
- ☆12Feb 11, 2019Updated 7 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.
- A 1014 Byte ELF64/DOS.COM/GameBoy/Megadrive/PDF/ARJ/PKZIP/7zip Polyglot Binary☆13Sep 8, 2022Updated 3 years ago
- Given a marked-ast AST generate markdown output☆10Apr 14, 2022Updated 4 years ago
- SPM toolchain to cross compile macOS Swift binaries on a Raspberry Pi (yes, you read that right)☆12Mar 20, 2026Updated 3 weeks ago
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated 2 months ago
- ☆12Nov 5, 2024Updated last year
- A Terraform module that generates JSON documents for access for common AWS SSM Parameter Store policies☆16May 29, 2025Updated 10 months ago
- Solana Airdrop Faucet: A simple web application that allows users to receive free SOL tokens on the Solana Devnet. Built with Next.js, th…☆11Sep 22, 2024Updated last year
- A collection of libraries in Scheme☆13Mar 2, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- A a tiny concatenative programming language JIT compiled to aarch64 machine code.☆16Feb 25, 2026Updated last month
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- MIRROR of https://codeberg.org/catseye/Vinegar : A semi-concatenative language where every operation can fail☆15Nov 3, 2023Updated 2 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- Generate sandbox buildable Nix expression from Mix lock file☆12Dec 19, 2025Updated 3 months ago
- A PLT Redex implementation of Featherweight Java☆17Oct 8, 2012Updated 13 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Alfresco module that exposes a Clojure API to access the repository.☆17Jan 20, 2016Updated 10 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- ☆14May 28, 2025Updated 10 months ago
- Run GitHub GraphQL queries and mutations in VS Code☆13Apr 15, 2022Updated 4 years ago
- Create immutable infrastructure with IaC technologies at AWS with Terraform and Serverless Framework ☁️ The main services used are Dynamo…☆10Jan 3, 2021Updated 5 years ago
- Multi-arch Docker images for Idris 2☆13Apr 7, 2026Updated last week
- ☆10Nov 14, 2022Updated 3 years ago
- Live coding in Reveal.js☆17Aug 9, 2016Updated 9 years ago
- A programming language that deduces code from tests☆30Jan 8, 2018Updated 8 years ago
- Run Unikraft ELF Loader app on Linux executables☆16Oct 19, 2023Updated 2 years ago
- my nix packages☆10Mar 31, 2026Updated 2 weeks 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 libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- Messing around with delimited continuations, fibers, and algebraic effects☆16Oct 2, 2021Updated 4 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Compile programs to Ambients☆13May 7, 2021Updated 4 years ago
- Functions and proofs about game trees in Rocq, implemented as rose trees.☆16Updated this week
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 5 months ago
- A transpiler for Atom packages that processes code with TypeScript☆14Jul 16, 2022Updated 3 years ago