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
KaRaMeL is a tool for extracting low-level F* programs to readable C code
A modern supercompiler for call-by-value functional languages
Examples to illustrate the use of algebraic effects in Multicore OCaml
Static website generator based on HTML element tree rewriting
The Ott tool for writing definitions of programming languages and calculi
A library for building dynamic webapps, using Js_of_ocaml.
QuickCheck inspired property-based testing for OCaml.
The Hindley Milner Type Inference Algorithm
Proof assistant based on the λΠ-calculus modulo rewriting
Declarative definition of command line interfaces for OCaml
A proof assistant for general type theories
Tutorial on Multicore OCaml parallel programming with domainslib
A garden of small programming language implementations πͺ΄
Seamless bug-finding for Wasm, C, C++, Rust and Zig