OCaml cross-compiler based on mingw
☆11Apr 15, 2014Updated 12 years ago
Alternatives and similar repositories for mingw-ocaml
Users that are interested in mingw-ocaml are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Library to read metadata from files in various formats.☆14Sep 3, 2026Updated last month
- Extract snippets from code specified by comments.☆11Sep 14, 2026Updated last month
- OCaml bindings for the GStreamer multimedia framework.☆13Aug 31, 2023Updated 3 years ago
- Various OCaml Libraries☆25Jun 18, 2019Updated 7 years ago
- Haxe - The Cross-Platform Toolkit☆12Jul 30, 2026Updated 2 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- The sparkling monad library☆13Jun 17, 2016Updated 10 years ago
- Algebraic structures in OCaml.☆30Jul 5, 2026Updated 3 months ago
- A string diagram generator for LaTeX.☆32May 28, 2026Updated 4 months ago
- small tool to create OCaml software bundles from OPAM packages, superseded by builtin functionality in opam 2☆18Aug 8, 2015Updated 11 years ago
- Pure OCaml implementation of the Open Sound Control protocol☆27Feb 6, 2022Updated 4 years ago
- Développement Coq pour le cours "Sémantiques mécanisées", Collège de France, 2019-2020☆24Apr 12, 2024Updated 2 years ago
- Convert C-code to OCaml Ctypes via Clang☆21Apr 15, 2019Updated 7 years ago
- Instances for QuickCheck classes☆13Sep 1, 2017Updated 9 years ago
- A Julia interface for cameras☆11Apr 19, 2023Updated 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.
- Functional kernel written in OCaml.☆37Nov 14, 2013Updated 12 years ago
- a ruby library for sending commands to liquidsoap via its telnet or socket interface.☆14Jan 14, 2020Updated 6 years ago
- Haskell Stackage curator build tool☆12Updated this week
- coreStar is a symbolic execution engine for analysis and verification with separation logic☆25Jul 3, 2017Updated 9 years ago
- A Haxe library for communicating with the Amazon AWS (http://www.amazonaws.com) backend. Also included are some service implementations.☆20Oct 20, 2016Updated 10 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- Haxe macro for helping to sort arrays based on multiple properties with a very simple syntax☆25Feb 27, 2015Updated 11 years ago
- An example AWS SAM app showing how to deploy a fastai app using Lambda Container feature☆13Dec 6, 2020Updated 5 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.
- Parser and printer for date-times in ISO8601☆30Feb 8, 2024Updated 2 years ago
- Repository for all communication materials and discussions around WWX2016☆20Feb 26, 2016Updated 10 years ago
- ☆10Mar 26, 2013Updated 13 years ago
- OCaml multimedia library☆39Sep 29, 2026Updated 3 weeks ago
- Digital Audio Funstation☆15Oct 13, 2026Updated last week
- Source maps support for Haxe☆13Oct 5, 2023Updated 3 years ago
- DOrder -- Automatically Learning Shape Specifications☆20Jun 19, 2017Updated 9 years ago
- Insert Unicode math symbols in Emacs☆16Jun 1, 2026Updated 4 months ago
- Convert AS3 sources to their Haxe equivalent☆14Mar 29, 2014Updated 12 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A utility to convert Java source to Haxe source using a modified version of Sharpen☆29Feb 4, 2014Updated 12 years ago
- Implementation of a matrix server in OCaml for MirageOS☆51Jul 5, 2023Updated 3 years ago
- NekoVM Application Server☆30Jun 13, 2020Updated 6 years ago
- Research material of Erik Palmgren (1963–2019)☆21Apr 7, 2025Updated last year
- CSV reading library for Haxe☆12Oct 14, 2015Updated 11 years ago
- Automatically detects many audio parameters, and notates a liquidaudio playlist accordingly☆19Apr 18, 2026Updated 6 months ago
- OCaml QuickCheck☆22Oct 27, 2015Updated 10 years ago