lukstafi / curious-ocamlLinks
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
☆27Updated last year
Alternatives and similar repositories for curious-ocaml
Users that are interested in curious-ocaml are comparing it to the libraries listed below
Sorting:
- ☆97Updated 6 months ago
- OCaml bindings for the Neovim API☆162Updated 3 months ago
- Serialization framework for OCaml☆180Updated 10 months ago
- The fastest, hottest☆106Updated 8 months ago
- A fun little TUI framework for OCaml☆418Updated 10 months ago
- An opinionated OCaml web framework that borrows concepts from Laravel☆21Updated last year
- OhtML (pronounced Oatmeal) is an OCaml and htmx project☆83Updated 2 years ago
- ☆34Updated last year
- OCaml .mlx syntax dialect which adds JSX syntax expressions☆127Updated last month
- OCaml game engine and Vampire Survivors inspired game☆48Updated last year
- remarcaml is a markup language that's actually just ocaml in disguise☆27Updated last year
- 🌒 A TUI for GitHub☆217Updated last week
- OCaml Advent of Code starter project☆61Updated last year
- The official OCaml website.☆177Updated this week
- ☆16Updated last year
- Trying out advent of code stuff. Plz no copy pasta☆31Updated last year
- ReScript parser for Tree-sitter packed as a NeoVim plugin☆31Updated last year
- Transfer playlists seamlessly between spotify and apple music☆60Updated last year
- The power of trees at your fingertips☆69Updated last year
- ☆42Updated this week
- a big mono repo for ocaml☆16Updated 5 months ago
- Petrol's an OCaml SQL API made to go FAST.☆123Updated 10 months ago
- DBCaml is a database library for OCaml☆65Updated 8 months ago
- ☆19Updated last year
- Minimal composable server framework for Riot☆43Updated last year
- Neovim structured editing plugin☆180Updated 4 months ago
- ☆158Updated last year
- A TUI for the Jujutsu version control system☆88Updated last month
- An homage to Hollow Knight☆16Updated last year
- Essential neovim lua library☆56Updated 2 years ago