ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
☆2,804Updated last week
Related projects ⓘ
Alternatives and complementary repositories for awesome-ocaml
- Context sensitive completion for OCaml in Vim and Emacs☆1,586Updated 3 weeks ago
- V2 of Real World OCaml☆1,189Updated 4 months ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,222Updated this week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,166Updated 2 months ago
- Sinatra like web toolkit for OCaml☆759Updated 5 months ago
- The core OCaml system: compilers, runtime system, base libraries☆5,499Updated this week
- Jane Street Capital's standard library overlay☆1,115Updated last week
- A composable build system for OCaml.☆1,635Updated this week
- Tidy, feature-complete Web framework☆1,611Updated 2 weeks ago
- Universal toplevel for OCaml☆847Updated 3 weeks ago
- Multicore OCaml☆762Updated last year
- An OCaml library for HTTP clients and servers using Lwt or Async☆711Updated last month
- Compiler from OCaml to Javascript.☆962Updated this week
- Implementations of various type systems in OCaml.☆1,540Updated 9 years ago
- A Dependently Typed Functional Programming Language☆3,436Updated 3 months ago
- OCaml promises and concurrent I/O☆717Updated this week
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,351Updated 3 years ago
- Blog post previews in need of peer review☆2,199Updated last year
- Koka language compiler and interpreter☆3,314Updated 2 weeks ago
- opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git…☆1,246Updated this week
- Parser combinators built for speed and memory efficiency☆649Updated 2 months ago
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,607Updated 2 years ago
- A RESTful Haskell web framework built on WAI.☆2,638Updated 2 months ago
- Concurrent Programming with Effect Handlers☆665Updated 4 months ago
- Programming Languages Zoo☆1,460Updated 5 months ago
- Irmin is a distributed database that follows the same design principles as Git☆1,852Updated last month
- A collaborative bibliography of work related to the theory and practice of computational effects☆971Updated 3 weeks ago
- A Proof-oriented Programming Language☆2,697Updated last week
- A tasty Haskell front-end framework☆2,193Updated this week
- A high performance, memory efficient, and scalable web server written in OCaml☆535Updated 5 months ago