#
Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
11 repositories
📝 Compilation
29 repositories
🎨 Creative Tools
36 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
41 repositories
📖 Documentation - Tools
3 repositories
🚀 Effects
Effect systems, Algebraic effects and handlers… resources, languages, libraries and use cases53 repositories
🗣 Elaboration
Examples of elaborating surface languages into minimal core languages25 repositories
🐟 Fish Shell
4 repositories
🔠 Fonts
27 repositories
🕹️ Game Development
2 repositories
🕹️ Games
2 repositories
📐 Geometric Algebra
18 repositories
👍 Memory Safe by Default
4 repositories
🍱 Module Systems - Case Studies
3 repositories
🍱 Module Systems - Languages
12 repositories
🏡 My Stack
14 repositories
⚙️ Nix - Example Configurations
12 repositories
⚙️ Nix - Tools
34 repositories
💾 Nostalgia
28 repositories
🐪 OCaml - js_of_ocaml
3 repositories
🏔 Procedural
Things related to procedural generation, generated worlds, etc.52 repositories
🎲 Property Based Testing
4 repositories
🖼 Shaders
16 repositories
⏱ Staged Programming
6 repositories
🌳 Structural Editing
14 repositories
🏔 World Building - Conlanging
8 repositories
Starred repositories
36
results
for sponsorable starred repositories
written in OCaml
Clear filter
Owl - OCaml Scientific Computing @ https://ocaml.xyz
Declarative definition of command line interfaces for OCaml
📜 CCL: Categorical Configuration Language, The most elegant configuration language
Type-safe markup rendering, form validation, and routing for OCaml Dream web framework
Pragmatic Category Theory for Beginners in OCaml with lots of real-world examples
Streamlining the release of dune packages to opam
OCaml Web client, composable with Dream [unannounced]
Thin bindings to OpenGL {3,4} and OpenGL ES {2,3} for OCaml
Live-reloading server for static sites (eventually also dynamic)
ML modules and functors as first-class citizens by unifying ML modules and ML records with path dependent types and subtyping.
Simple, in-memory, monomorphic and heterogeneous search indexes in OCaml
Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" written in OCaml
Violette is a simple functional programming language.
Composable byte stream readers and writers for OCaml
A stack-driven generator of arbitrary WebAssembly programs
OCaml implementation of DSub, a ML like language with subtyping and path dependent types.
A comparison of Js_of_ocaml libraries for building reactive UIs