Anil's OCaml Claude plugin collection
☆31Mar 31, 2026Updated last month
Alternatives and similar repositories for ocaml-claude-marketplace
Users that are interested in ocaml-claude-marketplace are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A PPX syntax extension for the OCaml programming language. Adds a compile-time "if" statement.☆21Nov 20, 2020Updated 5 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago
- A library for parsing, manipulating, and serializing data structured as JSON.☆20May 15, 2026Updated last week
- A tiny command line bookmark manager.☆12Aug 14, 2022Updated 3 years ago
- Get [@@deriving]-style generation of type-directed values without writing a ppx☆17Feb 15, 2022Updated 4 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.
- LexiFi runtime types☆35Nov 2, 2020Updated 5 years ago
- a distributed computing library for OCaml☆24Jan 19, 2024Updated 2 years ago
- My personal template repository for Racket packages☆16Sep 17, 2020Updated 5 years ago
- Benchmarks and faster constructs for Clojure☆14Apr 9, 2018Updated 8 years ago
- This package contains a lightweight deductive database system in OCaml☆41Dec 15, 2021Updated 4 years ago
- [MIRROR] Ultimate Ocaml Editing Mode☆22Jul 12, 2022Updated 3 years ago
- A template for you to implement Hazelnut yourself☆23Apr 24, 2026Updated 3 weeks ago
- Deriving morphisms for OCaml data structures☆11Aug 28, 2019Updated 6 years ago
- ☆14Updated this week
- 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.
- AIFAD - Automated Induction of Functions over Algebraic Data Types☆30Dec 20, 2025Updated 5 months ago
- OCaml client access to Amazon services, such as S3, EC2, FPS, etc.☆14Sep 20, 2016Updated 9 years ago
- How do you do that recursive GADT thing again?☆31Mar 15, 2024Updated 2 years ago
- Tiny ML interpreter☆16Feb 16, 2014Updated 12 years ago
- A property-based testing library for Racket.☆34Apr 26, 2024Updated 2 years ago
- Lets you create interactive shells in OCaml.☆11Sep 13, 2016Updated 9 years ago
- Property-based testing at ease☆42Aug 15, 2021Updated 4 years ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- A clean implementation of Parsing with Zippers.☆38Sep 22, 2018Updated 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 Claude Code-powered 3D modeling agent environment for creating 3D printable designs using OpenSCAD.☆75Feb 3, 2026Updated 3 months ago
- # A simple variable binding library based on well-scoped indices and environments☆32Apr 20, 2026Updated last month
- Modern cryptography primitives implemented in Scratch, via Boiga☆13Jul 16, 2022Updated 3 years ago
- Git Repo for managing the ontological logger☆12Dec 27, 2020Updated 5 years ago
- The original parsing with derivatives haskell implementation☆12Aug 25, 2015Updated 10 years ago
- Efficient MeTTa language implementation in Prolog.☆23May 15, 2026Updated last week
- Regular languages in types☆21Jul 24, 2017Updated 8 years ago
- Tools for record-and-replay debugging☆45Mar 9, 2023Updated 3 years ago
- JSON combinator library for BuckleScript/Reason☆38Oct 14, 2019Updated 6 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.
- An implementation of the Transmission Control Protocol in OCaml☆35Apr 30, 2026Updated 3 weeks ago
- Protohackers is a server programming challenge. Here is an implementation using OCaml 5 and the effects-based IO library Eio☆16Feb 10, 2023Updated 3 years ago
- A web-based graphical proof assistant for LK and Hoare logic.☆41Jan 10, 2026Updated 4 months ago
- System to copy data from Kafka to BigQuery, safely and cost-effectively.☆13Oct 21, 2024Updated last year
- An OCaml, ReasonML, and BuckleScript lexer-generator for Unicode inputs☆15Dec 7, 2022Updated 3 years ago
- an arithmetic library for OCaml’s native integers☆11Jun 30, 2024Updated last year
- A Python implementation of the Refinement Types Tutorial.☆10Feb 4, 2021Updated 5 years ago