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
- ☆93Updated last month
- An opinionated OCaml web framework that borrows concepts from Laravel☆21Updated 11 months ago
- The fastest, hottest☆96Updated 3 months ago
- OCaml bindings for the Neovim API☆152Updated 3 months ago
- ☆34Updated last year
- Fennel language server protocol (LSP) support.☆120Updated last year
- Serialization framework for OCaml☆176Updated 4 months ago
- OCaml .mlx syntax dialect which adds JSX syntax expressions☆116Updated 2 months ago
- Essential neovim lua library☆57Updated 2 years ago
- remarcaml is a markup language that's actually just ocaml in disguise☆27Updated last year
- OhtML (pronounced Oatmeal) is an OCaml and htmx project☆81Updated last year
- A fun little TUI framework for OCaml☆386Updated 5 months ago
- Use any language that compiles to Lua in your Neovim configuration☆70Updated 2 years ago
- The power of trees at your fingertips☆68Updated last year
- Petrol's an OCaml SQL API made to go FAST.☆119Updated 4 months ago
- DBCaml is a database library for OCaml☆63Updated 3 months ago
- OCaml game engine and Vampire Survivors inspired game☆47Updated last year
- Minimal composable server framework for Riot☆43Updated 9 months ago
- This repo is designed to get you started with OCaml.☆61Updated 3 months ago
- Trying out advent of code stuff. Plz no copy pasta☆31Updated last year
- here be dragons☆12Updated 5 months ago
- The official OCaml website.☆168Updated this week
- helper for multiplexing terminals with vim/neovim☆61Updated 10 months ago
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆27Updated 4 months ago
- An ivy-mode port to neovim.☆60Updated last week
- ☆15Updated 6 months ago
- Kickstart.nvim alternative written in pure CSS. Requires failwind.nvim☆23Updated 6 months ago
- An homage to Hollow Knight☆16Updated 9 months ago
- render latex in nvim with kitty and hologram☆31Updated last year
- Zig development tools for Neovim.☆34Updated last year