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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A key-value store for OCaml☆17Feb 1, 2022Updated 4 years ago
- ImpFS, a new filesystem.☆22Feb 6, 2022Updated 4 years ago
- A meta-language for OCaml. (Unreleased)☆27Aug 29, 2025Updated 8 months ago
- T is a work-in-progress text editor inspired by the Acme editor from Plan9.☆10Feb 17, 2019Updated 7 years ago
- OCaml with typed algebraic effects☆53Oct 12, 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.
- Bitcoin data-structures library for OCaml☆43Jun 3, 2020Updated 5 years ago
- B-tree (Bayer, not binary) library in OCaml☆40Feb 1, 2022Updated 4 years ago
- A nodejs wrapper for nexmo API☆13Apr 6, 2016Updated 10 years ago
- OCaml client for the Redis advanced key-value store☆24May 5, 2011Updated 15 years ago
- A host-your-own HTTP checking and pinging web service, to serve as an alternative to Pingdom.☆18Jul 22, 2015Updated 10 years ago
- ULID (univ. uniq. lex. sortable id) encoding and decoding in Go☆13Nov 17, 2016Updated 9 years ago
- Straightforward SQL schema migration, never used☆16Sep 21, 2015Updated 10 years ago
- A tool to generate a website from an opam repository☆59May 11, 2026Updated 2 weeks ago
- Starter kit for bucklescript with the elm architecture☆50Oct 16, 2018Updated 7 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- What do you mean ?☆30Aug 28, 2018Updated 7 years ago
- Hindley-Milner with contracts☆11Dec 5, 2015Updated 10 years ago
- an SML language server that uses SML/NJ's "visible compiler" feature☆24Jan 15, 2018Updated 8 years ago
- An interpreter for a small dialect of Forth written in Go.☆19Apr 7, 2019Updated 7 years ago
- An Emacs clone written in OCaml☆39Mar 22, 2026Updated 2 months ago
- A strongly-typed language with type inference running on Erlang VM, influenced by OCaml.☆100Dec 25, 2014Updated 11 years ago
- Dig into an opam switch for doc☆11Apr 8, 2022Updated 4 years ago
- A very basic framework for publishing and experimenting with sample code for Rust tutorials. Also includes a collection of lecture plans.…☆14Aug 18, 2017Updated 8 years ago
- A library that implements the websocket protocol on top of Async☆14May 18, 2026Updated last week
- 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.
- Preact SSR using Polka☆26Jan 4, 2023Updated 3 years ago
- ☆14Apr 8, 2017Updated 9 years ago
- a small cmd line tool to align words in a sequence of lines in a smart way☆13May 18, 2026Updated last week
- A simple monadic parser combinator library for OCaml☆70Aug 1, 2022Updated 3 years ago
- A simple diff algorithm in pure OCaml☆15Jul 10, 2020Updated 5 years ago
- Wall (NanoVG port) demo converted to Reason.☆16Aug 31, 2018Updated 7 years ago
- Cash is a Unix shell that is embedded within Objective Caml. It's a Caml implementation of (an as large as possible subset of) the API of…☆11Sep 7, 2013Updated 12 years ago
- Terrible window manager, written in terrible C and with terrible bugs and segfaults☆10May 7, 2016Updated 10 years ago
- A jabber logger and web interface☆12Apr 17, 2026Updated last month
- 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 simple command line tool for statistical calculation☆10May 12, 2018Updated 8 years ago
- A friendly and minimalist link sharing website☆53May 4, 2015Updated 11 years ago
- Simple "commit-reveal" multisig in vyper☆24Aug 5, 2022Updated 3 years ago
- ☆33Feb 4, 2014Updated 12 years ago
- A Commitment Scheme library for Coin Flipping/Tossing algorithms and sort.☆11Apr 12, 2023Updated 3 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year