ocaml-community / awesome-ocamlLinks
A curated collection of awesome OCaml tools, frameworks, libraries and articles.
☆2,932Updated 3 months ago
Alternatives and similar repositories for awesome-ocaml
Users that are interested in awesome-ocaml are comparing it to the libraries listed below
Sorting:
- V2 of Real World OCaml☆1,217Updated 11 months ago
- A collection of awesome Haskell links, frameworks, libraries and software. Inspired by awesome projects line.☆3,161Updated 2 years ago
- Context sensitive completion for OCaml in Vim and Emacs☆1,632Updated 2 weeks ago
- Owl - OCaml Scientific Computing @ https://ocaml.xyz☆1,278Updated last month
- The core OCaml system: compilers, runtime system, base libraries☆5,833Updated this week
- A collection of resources for learning type theory and type theory adjacent fields.☆2,313Updated 2 months ago
- Multicore OCaml☆765Updated 2 years ago
- Sinatra like web toolkit for OCaml☆775Updated 4 months ago
- Tidy, feature-complete Web framework☆1,715Updated 6 months ago
- OCaml promises and concurrent I/O☆761Updated last week
- An OCaml library for HTTP clients and servers using Lwt or Async☆737Updated 3 weeks ago
- A composable build system for OCaml.☆1,742Updated this week
- Jane Street Capital's standard library overlay☆1,146Updated last week
- Universal toplevel for OCaml☆876Updated 6 months ago
- Compiler from OCaml to Javascript.☆1,021Updated this week
- Implementations of various type systems in OCaml.☆1,580Updated 9 years ago
- MirageOS is a library operating system that constructs unikernels☆2,689Updated last month
- A Dependently Typed Functional Programming Language☆3,457Updated 4 months ago
- Programming Language Theory λΠ☆5,298Updated 6 months ago
- OCaml Language Server Protocol implementation☆835Updated last week
- What I Wish I Knew When Learning Haskell☆2,586Updated 3 years ago
- opam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git…☆1,298Updated this week
- A Proof-oriented Programming Language☆2,858Updated this week
- Concurrent Programming with Effect Handlers☆686Updated 11 months ago
- Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)☆3,386Updated 4 years ago
- An introduction to programming language theory in Agda☆1,433Updated this week
- All the examples in Real World OCaml☆376Updated last year
- Huge list of videos, talks, courses for Haskell programming language.☆1,139Updated 7 years ago
- Blog post previews in need of peer review☆2,198Updated last year
- A mixture of tooling combined to produce JavaScript from OCaml & Reason☆910Updated this week