lukstafi / curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
☆26Updated last year
Related projects ⓘ
Alternatives and complementary repositories for curious-ocaml
- ☆84Updated last week
- The fastest, hottest☆76Updated last week
- An opinionated OCaml web framework that borrows concepts from Laravel☆21Updated 8 months ago
- OCaml bindings for the Neovim API☆148Updated last week
- Serialization framework for OCaml☆175Updated last month
- here be dragons☆12Updated 2 months ago
- OhtML (pronounced Oatmeal) is an OCaml and htmx project☆78Updated last year
- remarcaml is a markup language that's actually just ocaml in disguise☆27Updated last year
- ☆32Updated 11 months ago
- ReScript parser for Tree-sitter packed as a NeoVim plugin☆30Updated 9 months ago
- ☆13Updated 3 months ago
- OCaml game engine and Vampire Survivors inspired game☆43Updated 10 months ago
- An homage to Hollow Knight☆15Updated 6 months ago
- Petrol's an OCaml SQL API made to go FAST.☆113Updated last month
- OCaml .mlx syntax dialect which adds JSX syntax expressions☆104Updated last month
- The Library of Alexandria, in .norg☆37Updated 2 years ago
- OCaml Advent of Code starter project☆60Updated 11 months ago
- DBCaml is a database library for OCaml☆63Updated last week
- Minimal composable server framework for Riot☆43Updated 6 months ago
- OCaml-focused, custom nix-overlays☆105Updated this week
- 🌒 A TUI for GitHub☆71Updated 4 months ago
- The power of trees at your fingertips☆67Updated last year
- Essential neovim lua library☆57Updated last year
- A fun little TUI framework for OCaml☆364Updated 2 months ago
- ReScript parser for Tree-Sitter☆50Updated 3 months ago
- The official OCaml website.☆161Updated this week
- Interoperable effects based concurrency☆94Updated this week
- helper for multiplexing terminals with vim/neovim☆60Updated 7 months ago
- Trying out advent of code stuff. Plz no copy pasta☆31Updated 11 months ago
- Fennel language server protocol (LSP) support.☆116Updated last year