lukstafi / curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
☆26Updated last year
Alternatives and similar repositories for curious-ocaml:
Users that are interested in curious-ocaml are comparing it to the libraries listed below
- ☆95Updated 2 months ago
- ☆34Updated last year
- The fastest, hottest☆97Updated 4 months ago
- OCaml bindings for the Neovim API☆153Updated 4 months ago
- An opinionated OCaml web framework that borrows concepts from Laravel☆21Updated last year
- Serialization framework for OCaml☆176Updated 5 months ago
- OCaml game engine and Vampire Survivors inspired game☆47Updated last year
- OhtML (pronounced Oatmeal) is an OCaml and htmx project☆81Updated last year
- Essential neovim lua library☆57Updated 2 years ago
- remarcaml is a markup language that's actually just ocaml in disguise☆27Updated last year
- here be dragons☆12Updated 6 months ago
- OCaml Advent of Code starter project☆59Updated last year
- Minimal composable server framework for Riot☆43Updated 10 months ago
- ☆15Updated 7 months ago
- My personal website written using the HOT stack!☆12Updated 8 months ago
- OCaml .mlx syntax dialect which adds JSX syntax expressions☆117Updated 3 months ago
- Petrol's an OCaml SQL API made to go FAST.☆119Updated 5 months ago
- Use any language that compiles to Lua in your Neovim configuration☆70Updated 2 years ago
- An homage to Hollow Knight☆16Updated 10 months ago
- DBCaml is a database library for OCaml☆63Updated 4 months ago
- a big mono repo for ocaml☆14Updated last month
- Fennel language server protocol (LSP) support.☆121Updated last year
- The Library of Alexandria, in .norg☆37Updated 2 years ago
- ☆19Updated 7 months ago
- A fun little TUI framework for OCaml☆390Updated 6 months ago
- The power of trees at your fingertips☆68Updated last year
- Transfer playlists seamlessly between spotify and apple music☆60Updated last year
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆29Updated last week
- A repository template to create you own nvim-treesitter module !☆59Updated last year
- A simple json traverser for NeoVim☆67Updated 3 years ago