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:
- Automatically generates Coq FFI bindings to OCaml libraries [maintainer=@lthms]☆37Apr 27, 2023Updated 3 years ago
- Simple Bloom filters in Common Lisp with efficient hashing.☆18May 18, 2017Updated 9 years ago
- The 32-bit version of Murmurhash3 for Common Lisp.☆17Jun 4, 2021Updated 5 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
- Build Mirage unikernels with Nix☆56Feb 5, 2026Updated 6 months ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- an advanced text adventure engine with a web interface, written in prolog☆25Nov 29, 2015Updated 10 years ago
- Automatically load Emacs theme to match the GNOME accent color and light/dark mode.☆17Aug 2, 2026Updated last week
- Tagged Haskell learning resources index☆21Aug 11, 2016Updated 10 years ago
- Tree style (files) explorer for p9p acme.☆10Feb 6, 2023Updated 3 years ago
- Clojure IDE for the Acme text editor☆12Jul 21, 2026Updated 3 weeks ago
- ☆16Apr 11, 2023Updated 3 years ago
- obliquetree is an advanced decision tree implementation featuring oblique and axis-aligned splits, optimized performance.☆25May 5, 2026Updated 3 months ago
- ☆12Aug 22, 2016Updated 9 years ago
- a 9term-compatible terminal in Ruby/Tk☆18Jan 28, 2012Updated 14 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A templating system for unix configuration files☆11Aug 21, 2017Updated 8 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 9 months ago
- A minimal Haskell web-framework based on the WAI web server interface.☆39Apr 29, 2023Updated 3 years ago
- Haskell libraries for implementing OAuth2 servers.☆25Jul 21, 2015Updated 11 years ago
- A minimal runtime for seL4 applications.☆13Jul 22, 2026Updated 3 weeks ago
- A programming environment for Minecraft☆14Aug 5, 2022Updated 4 years ago
- Coqpit.vim brings the interactivity and asynchronous into your Vim and Neovim.☆10Nov 1, 2022Updated 3 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.
- squint (cljs) + svelte☆19Dec 22, 2022Updated 3 years ago
- implementation of cdr-8☆17Jan 17, 2018Updated 8 years ago
- C-compatible enum for Julia☆14Dec 23, 2023Updated 2 years ago
- A collection of scripts and commands and notes-to-self on my Acme text editor setup☆14Apr 14, 2021Updated 5 years ago
- ITESM project☆10Dec 5, 2016Updated 9 years ago
- another abstraction layer for operating system developers☆11Apr 27, 2020Updated 6 years ago
- GHC language extensions table☆50Jul 3, 2026Updated last month
- 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
- Interface 2024年11月号 特集「ゼロから作るマルチコアOS」配布プログラム☆12Sep 30, 2024Updated last year
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- ClojureScript implementation of The Elm Architecture™ with core.async☆21Dec 2, 2017Updated 8 years ago
- Simple music player made in Qt5.☆12Oct 5, 2022Updated 3 years ago
- Generation of comparison functions from types☆28Jul 10, 2026Updated last month
- System for verifying the correctness of generated Copilot programs☆19May 8, 2025Updated last year
- Some OpenGL SDL examples in cpp☆15Apr 17, 2014Updated 12 years ago
- A CGI module for Julia☆10Jul 9, 2014Updated 12 years ago
- `Pin`-based stopgap for unboxed aliasable values in self-referential data structures in Rust☆15Aug 27, 2022Updated 3 years ago