Adds Haskell's lovely `where` keyword to OCaml!
☆23Aug 19, 2013Updated 12 years ago
Alternatives and similar repositories for ocaml-where
Users that are interested in ocaml-where are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The 32-bit version of Murmurhash3 for Common Lisp.☆17Jun 4, 2021Updated 4 years ago
- Unsigned ints for OCaml☆24Aug 27, 2019Updated 6 years ago
- An implementation of scoped algebraic effects and handlers in Agda.☆13Mar 11, 2021Updated 5 years ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- Baeta is a modern, typesafe, schema first GraphQL framework that enables developers to build powerful and scalable GraphQL APIs with ease…☆13Updated this week
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- An Emacs client for TravisCI☆27Jan 14, 2022Updated 4 years ago
- Experimental Rust compiler in pure C.☆12May 2, 2020Updated 5 years ago
- A persistent B-ish-tree☆57Jun 5, 2019Updated 6 years ago
- Python library for making modern toast notifications on macOS☆16Dec 14, 2025Updated 3 months ago
- Clojure IDE for the Acme text editor☆10Mar 30, 2026Updated last week
- Tree style (files) explorer for p9p acme.☆10Feb 6, 2023Updated 3 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Personal plan9port configuration and scripts.☆12Apr 2, 2026Updated last week
- Windows Container library☆11Nov 30, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Project log for Microsoft's Mesos work.☆13Feb 14, 2018Updated 8 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- Single tape turing machine simulator in emacs and python, inspired by http://morphett.info/turing/turing.html☆17Feb 22, 2018Updated 8 years ago
- The earliest versions of the very first c compiler known to exist in the wild written by the late legend himself dmr.☆16Mar 2, 2013Updated 13 years ago
- A templating system for unix configuration files☆11Aug 21, 2017Updated 8 years ago
- Emacs configuration☆24Apr 4, 2026Updated last week
- A puzzle game about changing the rules (Baba Is You clone)☆20Jan 3, 2025Updated last year
- A minimal Haskell web-framework based on the WAI web server interface.☆39Apr 29, 2023Updated 2 years ago
- ChatGPT, embedding search, and retrieval-augmented generation for Squeak/Smalltalk☆18Jan 11, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Emacs configuration files☆22Mar 14, 2026Updated 3 weeks ago
- squint (cljs) + svelte☆19Dec 22, 2022Updated 3 years ago
- Emacs key bindings for only core Atom functionality☆14Nov 17, 2016Updated 9 years ago
- ☆12May 3, 2017Updated 8 years ago
- Command Line Interface for Dream applications.☆22Apr 9, 2022Updated 4 years ago
- Next-level Koans☆16Sep 13, 2024Updated last year
- ☆12Jun 1, 2016Updated 9 years ago
- musl: A C standard library☆16Feb 26, 2026Updated last month
- Generation of comparison functions from types☆28Mar 30, 2026Updated last week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting with the flexibility to host WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Cloudways by DigitalOcean.
- Some OpenGL SDL examples in cpp☆15Apr 17, 2014Updated 11 years ago
- A video game framework for haskell☆53Aug 27, 2015Updated 10 years ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 3 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Expert system with deductive querying and verification of constraints expressed in natural language☆23Feb 15, 2026Updated last month
- Manage your money in the terminal with A Ruby DSL☆16Jan 1, 2026Updated 3 months ago
- natural language processing with link-grammar☆18Sep 30, 2009Updated 16 years ago