A strongly-typed handy scripting language with type inference
☆14Aug 31, 2018Updated 7 years ago
Alternatives and similar repositories for trompe
Users that are interested in trompe are comparing it to the libraries listed below
Sorting:
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- ImpFS, a new filesystem.☆21Feb 6, 2022Updated 4 years ago
- A meta-language for OCaml. (Unreleased)☆26Aug 29, 2025Updated 6 months ago
- What do you mean ?☆29Aug 28, 2018Updated 7 years ago
- An Emacs clone written in OCaml☆33Updated this week
- A simple, extensible and efficient programming language based on C and Python☆32Jun 7, 2022Updated 3 years ago
- OCaml with typed algebraic effects☆53Oct 12, 2018Updated 7 years ago
- 🔔 Jingle is a dynamically-typed, multi-paradigm programming language designed for humans and machines.☆43Feb 19, 2021Updated 5 years ago
- ProTIP permet de caractériser la connectivité réelle entre composants d'une architecture PCI Express☆11Nov 9, 2023Updated 2 years ago
- Run OCaml Exercises Everywhere - Locally, Codespaces, Replit, Jupyter Notebook and Learn OCaml Platform☆10Sep 17, 2024Updated last year
- Simple Akka HTTP project implemented to describe how to build Microservices with Consumer Driven Contracts testing approach☆11Feb 15, 2018Updated 8 years ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- logic file system☆27Mar 16, 2018Updated 7 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Feb 1, 2022Updated 4 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- SWI-Prolog 2-Way interface to Commmon Language Interface☆14Jan 21, 2017Updated 9 years ago
- XCP toolstack domain manager☆16Mar 5, 2024Updated 2 years ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 3 years ago
- A tool to generate a website from an opam repository☆59Dec 1, 2025Updated 3 months ago
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 5 years ago
- A Scala version of my `sbtmkdirs` shell script☆11Feb 27, 2021Updated 5 years ago
- Drizzle is a (currently interpreted) programming language designed as something I would like to use, and used as a way to learn lots of n…☆13Mar 7, 2019Updated 6 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 2 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- Revamp ocaml-manual☆11Oct 18, 2020Updated 5 years ago
- Redis client for Async applications☆19Jan 15, 2026Updated last month
- Ocaml code from Writing an Interpreter in Go☆11Aug 16, 2019Updated 6 years ago
- The XCP networking daemon☆14May 18, 2022Updated 3 years ago
- Experimental parallel and concurrent OCaml☆14Jan 28, 2023Updated 3 years ago
- Hack on nice json wire format for thrift☆10Jan 16, 2018Updated 8 years ago
- SWI-Prolog OpenAPI (Swagger) support☆10Sep 30, 2024Updated last year
- Simple, secure and composable I/O abstraction for construction of efficient computation workflows.☆10Jun 11, 2016Updated 9 years ago
- Parser and Compiler: Valhalla Lang — Set-Theoretic Programming Langauge☆12Nov 26, 2020Updated 5 years ago
- PPX for template strings☆14Nov 17, 2018Updated 7 years ago
- common lisp text processing tool☆13Feb 28, 2026Updated last week
- Expands [%here] into its location☆14Jan 15, 2026Updated last month
- ppx_system is a syntax extension to known operating system at compile time☆12May 9, 2023Updated 2 years ago
- Extract snippets from code specified by comments.☆11Oct 22, 2024Updated last year
- A scheduler independent blocking mechanism☆19Feb 15, 2024Updated 2 years ago