ocaml-community / awesome-ocaml
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
☆2,781Updated last month
Related projects: ⓘ
- V2 of Real World OCaml☆1,180Updated 2 months ago
- A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.☆3,069Updated last year
- A collection of resources for learning type theory and type theory adjacent fields.☆2,114Updated 2 weeks ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,572Updated this week
- Implementations of various type systems in OCaml.☆1,531Updated 9 years ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,210Updated this week
- A composable build system for OCaml.☆1,600Updated this week
- Jane Street Capital's standard library overlay☆1,107Updated 3 weeks ago
- A Dependently Typed Functional Programming Language☆3,427Updated last month
- Universal toplevel for OCaml☆839Updated 4 months ago
- The core OCaml system: compilers, runtime system, base libraries☆5,397Updated this week
- What I Wish I Knew When Learning Haskell☆2,560Updated 2 years ago
- Sinatra like web toolkit for OCaml☆753Updated 3 months ago
- Blog post previews in need of peer review☆2,191Updated last year
- Tidy, feature-complete Web framework☆1,589Updated last week
- Multicore OCaml☆763Updated last year
- Compiler from OCaml to Javascript.☆951Updated this week
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,338Updated 3 years ago
- Programming Languages Zoo☆1,445Updated 3 months ago
- An OCaml library for HTTP clients and servers using Lwt or Async☆703Updated last week
- A Proof-oriented Programming Language☆2,672Updated this week
- Programming Language Theory λΠ☆5,217Updated last year
- OCaml promises and concurrent I/O☆706Updated last month
- A statically typed lisp, without a GC, for real-time applications.☆5,509Updated 2 weeks ago
- Irmin is a distributed database that follows the same design principles as Git☆1,835Updated last week
- Huge list of videos, talks, courses for Haskell programming language.☆1,119Updated 6 years ago
- A tasty Haskell front-end framework☆2,182Updated 2 months ago
- A collaborative bibliography of work related to the theory and practice of computational effects☆951Updated last month
- The Eta Programming Language, a dialect of Haskell on the JVM☆2,606Updated 2 years ago
- 10 papers that all PhD students in programming languages ought to know, for some value of 10☆891Updated 4 years ago