lukstafi / curious-ocaml
A curious book about OCaml: logic (types), algebra (values), computation (rewrite semantics), functions (lambda calculus), constraints, monads, expression.
☆26Updated 11 months ago
Related projects ⓘ
Alternatives and complementary repositories for curious-ocaml
- ☆78Updated 4 months ago
- OCaml bindings for the Neovim API☆148Updated this week
- An opinionated OCaml web framework that borrows concepts from Laravel☆21Updated 8 months ago
- OhtML (pronounced Oatmeal) is an OCaml and htmx project☆78Updated last year
- The fastest, hottest☆68Updated this week
- Serialization framework for OCaml☆175Updated last month
- ☆32Updated 10 months ago
- The power of trees at your fingertips☆67Updated last year
- remarcaml is a markup language that's actually just ocaml in disguise☆27Updated last year
- My personal website written using the HOT stack!☆12Updated 4 months ago
- helper for multiplexing terminals with vim/neovim☆60Updated 7 months ago
- Fennel language server protocol (LSP) support.☆116Updated last year
- OCaml game engine and Vampire Survivors inspired game☆43Updated 10 months ago
- o lua m'lua☆12Updated 5 months ago
- datwaft's neovim configuration☆114Updated this week
- here be dragons☆12Updated last month
- My collection of Haskell snippets for LuaSnip. Powered by tree-sitter and LSP.☆28Updated last month
- An homage to Hollow Knight☆15Updated 6 months ago
- Use any language that compiles to Lua in your Neovim configuration☆66Updated 2 years ago
- Transfer playlists seamlessly between spotify and apple music☆56Updated last year
- ReScript parser for Tree-sitter packed as a NeoVim plugin☆30Updated 9 months ago
- Trying out advent of code stuff. Plz no copy pasta☆31Updated 10 months ago
- 🌒 A TUI for GitHub☆64Updated 4 months ago
- Essential neovim lua library☆57Updated last year
- Petrol's an OCaml SQL API made to go FAST.☆113Updated last month
- The Library of Alexandria, in .norg☆36Updated 2 years ago
- OCaml-focused, custom nix-overlays☆105Updated this week
- Utilities and bindings for writing Neovim plugins in Rust☆78Updated last year
- Zig development tools for Neovim.☆32Updated last year
- A tree-sitter grammar for the nushell language☆39Updated last year