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:
- Validate JSON and store to a specified data structure☆14Dec 22, 2023Updated 2 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]☆75Updated this week
- Unsigned ints for OCaml☆24Aug 27, 2019Updated 6 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.
- An Emacs client for TravisCI☆27Jan 14, 2022Updated 4 years ago
- Tree style (files) explorer for p9p acme.☆10Feb 6, 2023Updated 3 years ago
- Personal plan9port configuration and scripts.☆12May 13, 2026Updated 2 months ago
- An implementation of scoped algebraic effects and handlers in Agda.☆18Mar 11, 2021Updated 5 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Next-level Koans☆16Sep 13, 2024Updated last year
- A server interface to GHC.☆19Oct 11, 2014Updated 11 years ago
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 8 months ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Moved to gitlab☆23Apr 16, 2018Updated 8 years ago
- squint (cljs) + svelte☆19Dec 22, 2022Updated 3 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- Chat-bot overlay framework that can run on top of any python-based bot and call plugins on various events☆16May 20, 2026Updated 2 months ago
- DEPRECATED. Tell your puppeteer or playwright to use nixpkgs's google-chrome-dev's google-chrome-unstable binary. Previously: Patch playw…☆19Oct 12, 2022Updated 3 years ago
- The Abstract Programming Language Interface (APLI) is a framework for generating Abstract Syntax Trees (ASTs) to enable developers to cre…☆13Oct 11, 2023Updated 2 years ago
- Simple music player made in Qt5.☆12Oct 5, 2022Updated 3 years ago
- a fork of Plan 9's Acme and Sam editors with a few extra keyboard shortcuts☆15Jul 4, 2021Updated 5 years ago
- 📝 Preview Asciidoctor in real-time with neovim/Vim.☆10Dec 19, 2023Updated 2 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.
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 3 years ago
- Formally Verified X.509 Certificate Validation☆15Nov 19, 2025Updated 8 months ago
- A class file easy to customize with SATySFi☆11May 22, 2021Updated 5 years ago
- A Modified gem5 for Simulating Virtualized Systems☆11Mar 1, 2015Updated 11 years ago
- State based router for MarionetteJS☆21Dec 3, 2022Updated 3 years ago
- another bitmap fonts repo☆21Mar 21, 2026Updated 4 months ago
- httpstream provides HTTP handlers for simultaneous streaming uploads and downloads of objects, as well as persistence and a standalone se…☆16Oct 22, 2013Updated 12 years ago
- Utilities for working within GitHub Actions☆16Mar 7, 2026Updated 4 months ago
- A puzzle game about changing the rules (Baba Is You clone)☆20Jan 3, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Mozc input source for coc.nvim☆13Dec 29, 2021Updated 4 years ago
- A social analytics service built for Twitter's Vine.☆13Oct 16, 2015Updated 10 years ago
- Manifests for the collection of verification repositories☆17Updated this week
- rustifying c++☆11Jun 9, 2021Updated 5 years ago
- Bazel rules that support breaking a typescript codebase into small, independently-compilable libraries. "Batteries not included".☆13Dec 2, 2022Updated 3 years ago
- ChatGPT, embedding search, and retrieval-augmented generation for Squeak/Smalltalk☆18Jun 30, 2026Updated 3 weeks ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago