Lists (32)
📽 Animation
5 repositories
🖼️ Art
3 repositories
📜 Binary Formats
55 repositories
🌀 Bootstrapping
49 repositories
🏗️ Build systems
11 repositories
📝 Compilation
30 repositories
🎨 Creative Tools
37 repositories
🗄 Data Layout
3 repositories
🌱 Digital Gardens - Examples
9 repositories
🌱 Digital Gardens - Tools
42 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
336
stars
written in OCaml
Clear filter
Adds static typing to JavaScript to improve developer productivity and code quality.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
magic-trace collects and displays high-resolution traces of what a process is doing
Programming language for literate programming law specification
Irmin is a distributed database that follows the same design principles as Git
Implementations of various type systems in OCaml.
Systems language with linear types and capability-based security.
Owl - OCaml Scientific Computing @ https://ocaml.xyz
A statically-typed, functional typesetting system
A mixture of tooling combined to produce JavaScript from OCaml & Reason
A functional programming language based on algebraic effect handlers
The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"
Hardcaml is an OCaml library for designing hardware.
An engine for displaying slips, the next-gen version of slides
Parser combinators built for speed and memory efficiency
Effects-based direct-style IO for multicore OCaml
A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮
A library for building dynamic webapps, using Js_of_ocaml
Batteries Included project
moved from https://sourceforge.net/p/min-caml/code/