imandra-ai / ocaml-cimguiView external linksLinks
[wip] bindings to Dear Imgui for OCaml.
☆17Jun 26, 2020Updated 5 years ago
Alternatives and similar repositories for ocaml-cimgui
Users that are interested in ocaml-cimgui are comparing it to the libraries listed below
Sorting:
- QOI image codec for OCaml (unreleased)☆11Jan 2, 2026Updated last month
- OCaml implementation of sets as hash tables by Jean-Christophe Filliatre☆10Feb 13, 2025Updated last year
- experiments with Brr/Note☆13Aug 27, 2021Updated 4 years ago
- OCaml bindings for xxHash, an extremely fast hash algorithm.☆13Sep 27, 2022Updated 3 years ago
- runtime library and code-generator for BARE (https://baremessages.org/)☆23Aug 16, 2024Updated last year
- Literate assertions for OCaml☆18Oct 3, 2019Updated 6 years ago
- ☆14Aug 7, 2021Updated 4 years ago
- The Universe Library for OCaml☆14Dec 30, 2018Updated 7 years ago
- HTTP/1.1 client library for OCaml☆15Apr 28, 2020Updated 5 years ago
- Abandoned. This package provides WIP OCaml bindings for GLFW.☆14May 1, 2025Updated 9 months ago
- A simple websocket library for OCaml with no dependencies☆16Apr 8, 2024Updated last year
- A pure OCaml implementation of the i3 IPC protocol☆25Aug 25, 2022Updated 3 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- OCaml Ctypes stubs generation notes☆20May 1, 2019Updated 6 years ago
- Bindings to the various POSIX APIs☆28Jan 10, 2026Updated last month
- An OCaml library for creating pandoc filters.☆32Oct 9, 2024Updated last year
- Convert C-code to OCaml Ctypes via Clang☆19Apr 15, 2019Updated 6 years ago
- Composable image processing library for OCaml☆41Sep 30, 2025Updated 4 months ago
- Dig into an opam switch for doc☆10Apr 8, 2022Updated 3 years ago
- Painless micro-benchmarks☆20Mar 6, 2019Updated 6 years ago
- ☆21Mar 6, 2019Updated 6 years ago
- Peter Shirley's "Ray Tracing In One Weekend" written in ReasonML.☆17Mar 11, 2019Updated 6 years ago
- Publish annotated bibliographies☆24Jan 2, 2026Updated last month
- An OCaml library for parsing documentation comments written in 'odoc markup', a superset of 'ocamldoc markup'.☆16Oct 19, 2023Updated 2 years ago
- Formalization in Coq of algorithms used in compilers for the Compiler.org project☆15Dec 22, 2018Updated 7 years ago
- Use Bubblewrap to sandbox executables☆12Feb 22, 2021Updated 4 years ago
- [wip] Proof format and checker for first-order and higher-order theorem provers☆12Mar 29, 2023Updated 2 years ago
- Revamp ocaml-manual☆10Oct 18, 2020Updated 5 years ago
- opam plugin to automatically populate opam file at install command☆10Mar 7, 2024Updated last year
- OCaml library for building clients and servers that communicate using the Redis Serialization Protocol☆12Nov 6, 2021Updated 4 years ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- DEPRECATED: Compile Time Reflection or Metaprogramming for OCaml☆16Apr 21, 2024Updated last year
- ☆21Dec 29, 2025Updated last month
- Parsing of the Content-Type header in pure OCaml☆19Nov 24, 2020Updated 5 years ago
- ☆35Jul 16, 2022Updated 3 years ago
- Example OCaml library written using Rust and ocaml-rs☆16Mar 10, 2021Updated 4 years ago
- Js_of_ocaml bindings for the p5.js library☆11May 14, 2024Updated last year
- OCaml binding to LXC with idiomatic (and opionated) OCaml API design☆13Oct 25, 2019Updated 6 years ago
- A simple tool and library to embed files and directories inside an OCaml executables☆20Apr 11, 2022Updated 3 years ago