OxCaml playground (for use with Codespaces)
☆20Jul 25, 2025Updated last year
Alternatives and similar repositories for playground
Users that are interested in playground are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆23Aug 2, 2020Updated 6 years ago
- An easy interface on top of the Jsonm library.☆40Apr 28, 2025Updated last year
- https://eprint.iacr.org/2020/1516.pdf☆19Jan 2, 2023Updated 3 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated last year
- OCaml notebooks as a WebComponent☆58May 4, 2026Updated 5 months 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.
- Verifying encodings into propositional logic in Lean☆15Aug 14, 2023Updated 3 years ago
- Julia package for performing Bloch simulations within the context of Magnetic Resonance Imaging☆13Updated this week
- ☆11Jan 17, 2021Updated 5 years ago
- Toy programming language☆20May 18, 2024Updated 2 years ago
- ☆13Sep 2, 2024Updated 2 years ago
- VFMD (Vanilla-Flavoured Markdown) parser for Reason☆13Sep 16, 2021Updated 5 years ago
- Lwt to Eio tutorial☆20Mar 20, 2025Updated last year
- the blog "Machine Logic"☆25Oct 26, 2026Updated last week
- An unofficial remix of Whoa to test experimental features.☆12Apr 26, 2026Updated 6 months ago
- 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.
- Low Level Bindings to Libev☆30Aug 9, 2026Updated 2 months ago
- A HTTP client relying solely on the OCaml standard library, for use when bootstrapping opam☆13Jul 8, 2019Updated 7 years ago
- Servidor de Minecraft em PHP (WTF) - Nome por Yuhtin☆48Oct 13, 2020Updated 6 years ago
- Algebraic Subtyping typechecking algorithms implemented in Erlang☆10Oct 13, 2021Updated 5 years ago
- MCP server for interacting with Bluesky☆10Apr 8, 2025Updated last year
- Flutter + WebAssembly Example☆13Mar 3, 2020Updated 6 years ago
- a shared pixel display controllable via TCP☆13Jan 25, 2024Updated 2 years ago
- Short project to create a Shit Coin, using Node.js and TS cripto and some other cool stuff :)☆11Sep 13, 2021Updated 5 years ago
- Experimenting with monorepo ideas☆15Jul 25, 2021Updated 5 years ago
- 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.
- ☆15Aug 13, 2021Updated 5 years ago
- Jane Street's `ppx_let` repackaged for `npm`☆16Sep 7, 2020Updated 6 years ago
- Collections of Actions for Custom GPTs (some created by Captain Action)☆11Jan 7, 2024Updated 2 years ago
- Z-Pool-Tool☆18Updated this week
- ☆26Aug 19, 2026Updated 2 months ago
- "Hit or Miss" MC☆10Mar 7, 2023Updated 3 years ago
- Convert OCaml Types between different major versions☆15May 23, 2022Updated 4 years ago
- My vimfiles☆12Oct 7, 2026Updated 3 weeks ago
- HTTP/1.1 server and client for ocaml (using Async)☆23Apr 26, 2025Updated last year
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- mustache.js logic-less templates in OCaml☆88May 31, 2024Updated 2 years ago
- ☆12Aug 28, 2020Updated 6 years ago
- VC - Verse Calculus - notes & learnings from: The Verse Calculus: a Core Calculus for Functional Logic Programming (official paper by Epi…☆12Mar 21, 2023Updated 3 years ago
- Online tool to explore how different ppxs transform the input code☆19Oct 29, 2024Updated 2 years ago
- Experimental (nearly zero-cost) bindings to express☆79Nov 14, 2023Updated 2 years ago
- OpenPix Frontend Integration Example☆14Feb 10, 2022Updated 4 years ago
- A programming language, aka a THING☆10Sep 22, 2020Updated 6 years ago