Adds Haskell's lovely `where` keyword to OCaml!
☆23Aug 19, 2013Updated 13 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:
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- Simple Bloom filters in Common Lisp with efficient hashing.☆18May 18, 2017Updated 9 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
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆74Aug 25, 2026Updated last month
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Unsigned ints for OCaml☆24Aug 27, 2019Updated 7 years ago
- An Emacs client for TravisCI☆27Jan 14, 2022Updated 4 years ago
- Tree style (files) explorer for p9p acme.☆10Feb 6, 2023Updated 3 years ago
- Clojure IDE for the Acme text editor☆12Aug 30, 2026Updated last month
- Personal plan9port configuration and scripts.☆13May 13, 2026Updated 5 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- ☆16Apr 11, 2023Updated 3 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Project log for Microsoft's Mesos work.☆14Feb 14, 2018Updated 8 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A templating system for unix configuration files☆11Aug 21, 2017Updated 9 years ago
- A Bibtex parser in Go☆17Aug 19, 2025Updated last year
- Next-level Koans☆16Sep 13, 2024Updated 2 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 11 months ago
- The Waterproof plugin for the Rocq proof assistant allows you to write Rocq proofs in a style that resembles handwritten mathematical pro…☆52Updated this week
- A minimal runtime for seL4 applications.☆13Jul 22, 2026Updated 2 months ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- squint (cljs) + svelte☆19Dec 22, 2022Updated 3 years ago
- Moved to gitlab☆23Apr 16, 2018Updated 8 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.
- implementation of cdr-8☆17Sep 7, 2026Updated last month
- C-compatible enum for Julia☆14Sep 7, 2026Updated last month
- A collection of scripts and commands and notes-to-self on my Acme text editor setup☆14Apr 14, 2021Updated 5 years ago
- ITESM project☆11Dec 5, 2016Updated 9 years ago
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 6 years ago
- Emacs key bindings for only core Atom functionality☆14Nov 17, 2016Updated 9 years ago
- Emacs configuration files☆22Sep 3, 2026Updated last month
- Rust library providing basic aliasable (non `core::Unique`) types☆18Feb 3, 2022Updated 4 years ago
- Generation of comparison functions from types☆29Jul 10, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Quick talk+demo+live coding for Manila JavaScript meetup #5☆30Apr 15, 2017Updated 9 years ago
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Formally Verified X.509 Certificate Validation☆18Nov 19, 2025Updated 10 months ago
- cmaid examples☆12Jun 8, 2024Updated 2 years ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 5 years ago
- CLI tool for spawning and running containers on Windows according to the OCI specification☆24Aug 11, 2025Updated last year
- another bitmap fonts repo☆21Mar 21, 2026Updated 6 months ago