ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
☆2,885Updated last month
Alternatives and similar repositories for awesome-ocaml:
Users that are interested in awesome-ocaml are comparing it to the libraries listed below
- V2 of Real World OCaml☆1,208Updated 8 months ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,615Updated 2 weeks ago
- Jane Street Capital's standard library overlay☆1,139Updated 4 months ago
- Compiler from OCaml to Javascript.☆1,002Updated this week
- Universal toplevel for OCaml☆866Updated 4 months ago
- Tidy, feature-complete Web framework☆1,669Updated 3 months ago
- OCaml promises and concurrent I/O☆748Updated this week
- Blog post previews in need of peer review☆2,200Updated last year
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,255Updated 2 weeks ago
- Sinatra like web toolkit for OCaml☆772Updated last month
- A composable build system for OCaml.☆1,714Updated this week
- An OCaml library for HTTP clients and servers using Lwt or Async☆729Updated 2 weeks ago
- A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.☆3,137Updated last year
- Implementations of various type systems in OCaml.☆1,574Updated 9 years ago
- What I Wish I Knew When Learning Haskell☆2,582Updated 3 years ago
- Multicore OCaml☆762Updated 2 years ago
- A Dependently Typed Functional Programming Language☆3,450Updated last month
- Standard library for OCaml☆893Updated 4 months ago
- The core OCaml system: compilers, runtime system, base libraries☆5,710Updated this week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,223Updated 7 months ago
- Exercises and projects for Jane Street's OCaml Workshop☆603Updated 2 years ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆1,017Updated this week
- A tasty Haskell front-end framework☆2,236Updated this week
- A collection of awesome things regarding Reason/OCaml ecosystem.☆1,473Updated 9 months ago
- Programming Languages Zoo☆1,484Updated 9 months ago
- Miscellaneous articles. The readme is the table of contents.☆1,259Updated last year
- A Proof-oriented Programming Language☆2,814Updated this week
- OCaml Language Server Protocol implementation☆810Updated this week
- An introduction to programming language theory in Agda☆1,416Updated last week
- Huge list of videos, talks, courses for Haskell programming language.☆1,137Updated 7 years ago