The main codex repository
☆24Feb 3, 2026Updated 3 weeks ago
Alternatives and similar repositories for codex
Users that are interested in codex are comparing it to the libraries listed below
Sorting:
- Patricia Tree data structure in OCaml for maps and sets, supports generic (GADT) keys☆16Feb 9, 2026Updated 2 weeks ago
- Print with style in your terminal using Format's semantic tags☆20Oct 27, 2023Updated 2 years ago
- OCaml bindings to stb_truetype, a public domain truetype font rasterizer☆10Jan 13, 2023Updated 3 years ago
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- Small PPX for fixed size integer literals☆10Nov 12, 2022Updated 3 years ago
- Constrained Application Protocol (RFC 7252) implementation for OCaml.☆12Apr 3, 2024Updated last year
- ☆19Feb 10, 2026Updated 2 weeks ago
- 6502 chip simulator in OCaml☆13Mar 14, 2024Updated last year
- A pipeline that deploys unikernels and other services☆23Jul 25, 2025Updated 7 months ago
- WIP☆17Oct 5, 2024Updated last year
- OCaml SDL2_image bindings to go with Tsdl☆14Sep 12, 2021Updated 4 years ago
- agrid is an OCaml library for adjustable grids. Adjustable grids are two dimensional arrays whose width/height can be changed by adding o…☆15Feb 3, 2023Updated 3 years ago
- Race detection in OCaml using the ThreadSanitizer runtime analysis.☆20Feb 6, 2025Updated last year
- OCaml library to transform an Llvm control flow graph in an SMT formula.☆13Apr 20, 2018Updated 7 years ago
- An implementation of the Transmission Control Protocol in OCaml☆32Feb 17, 2026Updated last week
- Random Access Zipper in OCaml☆14Dec 8, 2016Updated 9 years ago
- Try OCaml Effects and Eio in your browser☆20Feb 8, 2023Updated 3 years ago
- An OCurrent pipeline for testing submissions to opam-repository☆24Jan 14, 2026Updated last month
- ☆17Nov 21, 2019Updated 6 years ago
- WiP image viewer using MirageOS☆19Aug 4, 2019Updated 6 years ago
- Fast char sets☆20May 5, 2025Updated 9 months ago
- ☆20Nov 25, 2025Updated 3 months ago
- A DNSmasq-like MirageOS unikernel☆31Updated this week
- Command-line and Emacs Calendar Client☆22Nov 11, 2025Updated 3 months ago
- MirageOS unikernels☆20May 31, 2022Updated 3 years ago
- A GLFW binding for OCaml.☆36Jul 30, 2025Updated 7 months ago
- Experimental portable bitmap framebuffer graphics for MirageOS☆17Jul 14, 2020Updated 5 years ago
- The caml walks, OCaml runs☆21Oct 11, 2023Updated 2 years ago
- A 2d geometry library for ocaml☆36Dec 23, 2022Updated 3 years ago
- A CHIP8 emulator written in OCaml☆25Mar 4, 2022Updated 3 years ago
- Bedrock Bit Vector Library☆28Oct 28, 2025Updated 4 months ago
- line based patch, input is a unified diff☆24Nov 6, 2025Updated 3 months ago
- The Som functional programming language☆21Nov 15, 2023Updated 2 years ago
- A fantasy-console style graphics library for OCaml☆35Sep 17, 2025Updated 5 months ago
- An opiniated file-system for MirageOS☆26May 31, 2025Updated 9 months ago
- Type-level rational puzzles in OCaml☆25Jun 8, 2016Updated 9 years ago
- ZIP archive and deflate codec for OCaml☆24Jan 2, 2026Updated 2 months ago
- A smart contract language for Tezos☆12Mar 25, 2022Updated 3 years ago
- Cerberus C semantics☆80Feb 16, 2026Updated 2 weeks ago