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:
- Simple password db☆24Nov 23, 2018Updated 7 years ago
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆38Apr 27, 2023Updated 3 years ago
- A Coq formalisation of the R programming language☆11Aug 23, 2022Updated 4 years ago
- Unsigned ints for OCaml☆24Aug 27, 2019Updated 7 years ago
- Some tools for testing the serialization speeds of different languages☆12Feb 8, 2012Updated 14 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- NodeJS bindings for js_of_ocaml☆10Sep 9, 2011Updated 15 years ago
- Brubeck Project Manager☆11Aug 25, 2012Updated 14 years ago
- Python Data Structures for Humans™.☆14Apr 6, 2023Updated 3 years ago
- Dynamic loader for OCaml☆14Dec 11, 2009Updated 16 years ago
- Spec and sources to build RPM's for Kafka.☆12May 14, 2014Updated 12 years ago
- HyperText & Caml Meta Language☆12Apr 6, 2011Updated 15 years ago
- Keyboard Shortcuts for your blog☆11Aug 8, 2011Updated 15 years ago
- "Prettify" ocaml compiler error messages☆17Sep 27, 2018Updated 8 years ago
- Unicode alternatives for common functions and operators☆37Nov 16, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- WebSocket Server for OCaml☆15Nov 24, 2010Updated 15 years ago
- A functionnal programming language☆16Feb 15, 2016Updated 10 years ago
- A tool for translating wikipedia articles into other languages☆17Jun 20, 2010Updated 16 years ago
- Literate assertions for OCaml☆18Oct 3, 2019Updated 7 years ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Aug 8, 2015Updated 11 years ago
- Mock SMTP server☆18Dec 8, 2010Updated 15 years ago
- ZMQ API bindings for OCaml☆14Sep 20, 2011Updated 15 years ago
- Build Mirage unikernels with Nix☆58Feb 5, 2026Updated 8 months ago
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆74Aug 25, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Mongrel2, pyzmq and eventlet☆15Feb 7, 2011Updated 15 years ago
- A Mongrel2 fronted, actor-based server for Ruby. We deserve nice things.☆16Apr 5, 2012Updated 14 years ago
- Python module for interacting with Wikipedia's API with an interest in multilingual capabilities☆17Jan 13, 2010Updated 16 years ago
- Learning Reason/OCaml by making an old-school canvas game.☆25Oct 28, 2017Updated 9 years ago
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 10 years ago
- Voting on things with limited numbers of votes to spread around, ala UserVoice☆19Nov 14, 2010Updated 15 years ago
- Barebones social network, written in Brubeck, for saving & tagging links.☆25Jul 7, 2014Updated 12 years ago
- A set of small tools for easily publishing words about music.☆26Nov 25, 2012Updated 13 years ago
- PPX rewriter that enables string interpolation in OCaml☆43Jun 30, 2025Updated last year
- 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.
- Reloads web pages when files in local directories change.☆16Dec 29, 2011Updated 14 years ago
- An Emacs client for TravisCI☆27Jan 14, 2022Updated 4 years ago
- Library for implementing Disco jobs in ocaml.☆23Jul 17, 2018Updated 8 years ago
- Complete, typesafe representation of Vega-Lite in OCaml☆10Nov 13, 2017Updated 8 years ago
- Rust firewall for seL4☆11Jun 20, 2018Updated 8 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 13 years ago
- Color theme for terminal, emacs, textmate based on Tron☆32Aug 23, 2017Updated 9 years ago