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
Sorting:
- Coq plugin for extracting Rust code☆18Dec 15, 2025Updated 2 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
- Statically typed functional programming language.☆11Jan 25, 2026Updated last month
- Chaucha functions for usage with Github Actions☆11Sep 18, 2020Updated 5 years ago
- A Java Entity-Component-System game engine.☆11Dec 24, 2019Updated 6 years ago
- Fork of https://github.com/fwcd/kotlin-language-server and https://github.com/fwcd/kotlin-debug-adapter with Bazel support☆12Nov 26, 2025Updated 3 months ago
- This project is used to automatically grab the query results of ChatGPT in batches without manual input. And it supports automatic switch…☆14Feb 28, 2023Updated 3 years ago
- ☆10Dec 24, 2021Updated 4 years ago
- Firmware for the Macchina M2 to use your car as a sim racing controller☆13Jan 5, 2021Updated 5 years ago
- Self service portal for aws workspace☆11Dec 10, 2023Updated 2 years ago
- プログラミング de 落書きで公開しているコードを共有します☆24Updated this week
- Run very cheap game servers (Minecraft, LinuxGSM, etc) in AWS EC2 Spot instances controlled by Discord slash commands. Manage using Terra…☆13Aug 6, 2025Updated 7 months ago
- Website for www.ambitionfund.org, micro-grant program to provide support for underrepresented people who need financial assistance pursui…☆13Jan 6, 2023Updated 3 years ago
- Experimental framework taking inspiration from biological systems, combining compression-based architectures, group theory, and symmetry …☆14Nov 13, 2025Updated 3 months ago
- ☆10Nov 14, 2022Updated 3 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
- Web game, clone of Chrome's dinosaur game.☆10Jan 5, 2023Updated 3 years ago
- a libp2p-backed daemon wrapping the functionalities of go-libp2p for use in other languages☆11Feb 9, 2025Updated last year
- Original Joy☆11Dec 17, 2024Updated last year
- Java Compiler Kit (JKit)☆12May 20, 2017Updated 8 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Supercharge Bittensor Ecosystem with Advanced Mathematical and Logical AI☆13Nov 4, 2024Updated last year
- Core authenticated MERMAID data read/write API☆10Feb 25, 2026Updated last week
- Run GitHub GraphQL queries and mutations in VS Code☆13Apr 15, 2022Updated 3 years ago
- Sudoku in the Browser☆11Jun 11, 2025Updated 8 months ago
- A collection of libraries in Scheme☆13Mar 2, 2021Updated 5 years ago
- Given a marked-ast AST generate markdown output☆10Apr 14, 2022Updated 3 years ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 6 years ago
- Conviction Funding community grants: https://aragon.org/blog/introducing-the-conviction-funding-pilot☆11Mar 8, 2023Updated 2 years ago
- Nix flake for Solana development☆13Jul 8, 2022Updated 3 years ago
- The code of COMMA: Modeling Relationship among Motivations, Emotions and Actions in Language-based Human Activities. https://aclanthology…☆12Oct 12, 2022Updated 3 years ago
- Haskell bindings to llama.cpp☆12Dec 22, 2023Updated 2 years ago
- Keyring program☆10Nov 8, 2024Updated last year
- Alfresco module that exposes a Clojure API to access the repository.☆17Jan 20, 2016Updated 10 years ago
- Multi-arch Docker images for Idris 2☆13Feb 9, 2026Updated 3 weeks ago
- ☆11May 2, 2023Updated 2 years ago
- Live coding in Reveal.js☆17Aug 9, 2016Updated 9 years ago
- Lecture Notes for Algebra Lectures at the University of Bonn☆14Sep 4, 2024Updated last year
- jamstack (js, api, markup) generator. js + css + html boilerplate size ~10kb.☆11Dec 12, 2024Updated last year