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]☆37Apr 27, 2023Updated 3 years ago
- Awesome OCaml Gamedev☆18Aug 6, 2022Updated 4 years ago
- My will☆15Nov 2, 2016Updated 9 years ago
- Build Mirage unikernels with Nix☆56Feb 5, 2026Updated 6 months ago
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 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.
- Unsigned ints for OCaml☆24Aug 27, 2019Updated 7 years ago
- An Emacs client for TravisCI☆27Jan 14, 2022Updated 4 years ago
- dotnet tool for checking if there are updates available to NuGet packages installed in C# projects.☆17Aug 21, 2026Updated last week
- ☆16Apr 11, 2023Updated 3 years ago
- Output stdin as GitHub/Slack/Jira etc... formatted code, lists, or quotes☆15May 30, 2020Updated 6 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Project log for Microsoft's Mesos work.☆13Feb 14, 2018Updated 8 years ago
- Next-level Koans☆16Sep 13, 2024Updated last year
- A toy nanopass compiler for x86 written in lean☆15Oct 25, 2025Updated 10 months 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.
- 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 last month
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 years ago
- Moved to gitlab☆23Apr 16, 2018Updated 8 years ago
- ITESM project☆10Dec 5, 2016Updated 9 years ago
- DEPRECATED. Tell your puppeteer or playwright to use nixpkgs's google-chrome-dev's google-chrome-unstable binary. Previously: Patch playw…☆18Oct 12, 2022Updated 3 years ago
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆12Sep 30, 2024Updated last year
- Emacs configuration files☆22Aug 17, 2026Updated 2 weeks ago
- Rust library providing basic aliasable (non `core::Unique`) types☆16Feb 3, 2022Updated 4 years ago
- 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.
- musl: A C standard library☆18Apr 20, 2026Updated 4 months ago
- a fork of Plan 9's Acme and Sam editors with a few extra keyboard shortcuts☆15Jul 4, 2021Updated 5 years ago
- Rust Embedded HAL for Apache NuttX RTOS☆14May 9, 2022Updated 4 years ago
- Dockerfiles defining the dependencies required to build seL4, CAmkES, and L4v.☆14Aug 4, 2026Updated 3 weeks ago
- cmaid examples☆12Jun 8, 2024Updated 2 years ago
- ☆12Jun 1, 2016Updated 10 years ago
- A formatter/linter for Coq source☆14Jan 15, 2022Updated 4 years ago
- Turn opam-based OCaml projects into Nix derivations☆162Jul 26, 2026Updated last month
- CLI tool for spawning and running containers on Windows according to the OCI specification☆24Aug 11, 2025Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A persistent B-ish-tree☆57Jun 5, 2019Updated 7 years ago
- xUnit.net runner for CoreCLR unit test projects☆18Nov 7, 2016Updated 9 years ago
- Utilities for working within GitHub Actions☆16Mar 7, 2026Updated 5 months ago
- A social analytics service built for Twitter's Vine.☆13Oct 16, 2015Updated 10 years ago
- Paradigms of AI Programming Source Code☆11Jan 2, 2013Updated 13 years ago
- ☆11May 22, 2026Updated 3 months ago
- Math matrix library for SATySFi☆14Oct 15, 2019Updated 6 years ago