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:
- ☆98Updated 7 months ago
- OCaml bindings for the Neovim API☆163Updated 3 months ago
- The fastest, hottest☆106Updated 9 months ago
- A fun little TUI framework for OCaml☆423Updated 11 months ago
- Serialization framework for OCaml☆180Updated 10 months ago
- OhtML (pronounced Oatmeal) is an OCaml and htmx project☆84Updated 2 years ago
- An opinionated OCaml web framework that borrows concepts from Laravel☆21Updated last year
- ☆34Updated last year
- OCaml .mlx syntax dialect which adds JSX syntax expressions☆127Updated 2 months ago
- Trying out advent of code stuff. Plz no copy pasta☆30Updated last year
- OCaml game engine and Vampire Survivors inspired game☆48Updated last year
- 🌒 A TUI for GitHub☆218Updated 3 weeks ago
- ReScript parser for Tree-sitter packed as a NeoVim plugin☆31Updated last year
- OCaml Advent of Code starter project☆61Updated last year
- ☆43Updated last week
- Transfer playlists seamlessly between spotify and apple music☆61Updated last year
- The official OCaml website.☆179Updated this week
- The power of trees at your fingertips☆70Updated last year
- remarcaml is a markup language that's actually just ocaml in disguise☆27Updated last year
- a big mono repo for ocaml☆16Updated 6 months ago
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆29Updated this week
- Petrol's an OCaml SQL API made to go FAST.☆124Updated 10 months ago
- Fennel language server protocol (LSP) support.☆127Updated 2 years ago
- ☆16Updated last year
- Essential neovim lua library☆56Updated 2 years ago
- DBCaml is a database library for OCaml☆65Updated 9 months ago
- My neovim configuration☆10Updated last month
- o lua m'lua☆12Updated last year
- Agda interaction pluging for neovim☆40Updated 10 months ago
- An homage to Hollow Knight☆16Updated last year