owlbarn / owl

Related projects: ⓘ

• ocaml-multicore / ocaml-multicore
  Multicore OCaml
  ☆763Updated last year
• realworldocaml / book
  V2 of Real World OCaml
  ☆1,180Updated 2 months ago
• ocaml / merlin
  Context sensitive completion for OCaml in Vim and Emacs
  ☆1,572Updated this week
• janestreet / core
  Jane Street Capital's standard library overlay
  ☆1,107Updated 3 weeks ago
• ocaml-community / utop
  Universal toplevel for OCaml
  ☆839Updated 4 months ago
• c-cube / ocaml-containers
  A lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
  ☆484Updated last week
• inhabitedtype / angstrom
  Parser combinators built for speed and memory efficiency
  ☆637Updated last week
• ocaml / dune
  A composable build system for OCaml.
  ☆1,600Updated this week
• janestreet / base
  Standard library for OCaml
  ☆849Updated 3 weeks ago
• ocsigen / lwt
  OCaml promises and concurrent I/O
  ☆706Updated last month
• jwiegley / category-theory
  An axiom-free formalization of category theory in Coq for personal study and practical work
  ☆746Updated 2 weeks ago
• rgrinberg / opium
  Sinatra like web toolkit for OCaml
  ☆753Updated 3 months ago
• mirage / ocaml-cohttp
  An OCaml library for HTTP clients and servers using Lwt or Async
  ☆703Updated last week
• CakeML / cakeml
  CakeML: A Verified Implementation of ML
  ☆944Updated this week
• ocaml-community / awesome-ocaml
  A curated collection of awesome OCaml tools, frameworks, libraries and articles.
  ☆2,781Updated last month
• ocsigen / js_of_ocaml
  Compiler from OCaml to Javascript.
  ☆951Updated this week
• MLton / mlton
  The MLton repository
  ☆945Updated last month
• akabe / ocaml-jupyter
  An OCaml kernel for Jupyter (IPython) notebook
  ☆288Updated 7 months ago
• matijapretnar / eff
  A functional programming language based on algebraic effect handlers
  ☆858Updated last week
• ocaml-batteries-team / batteries-included
  Batteries Included project
  ☆517Updated 4 months ago
• mirage / alcotest
  A lightweight and colourful test framework
  ☆449Updated last month
• FStarLang / FStar
  A Proof-oriented Programming Language
  ☆2,672Updated this week
• michaelt / martin-lof
  papers of Per Martin Löf
  ☆744Updated 7 months ago
• janestreet / incremental
  A library for incremental computations
  ☆867Updated 3 weeks ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,531Updated 9 years ago
• HuwCampbell / grenade
  Deep Learning in Haskell
  ☆1,447Updated 9 months ago
• Mercury-Language / mercury
  The Mercury logic programming system.
  ☆900Updated this week
• ocaml-multicore / eio
  Effects-based direct-style IO for multicore OCaml
  ☆548Updated last week
• lexi-lambda / hackett
  WIP implementation of a Haskell-like Lisp in Racket
  ☆1,164Updated 5 months ago
• idris-lang / Idris-dev
  A Dependently Typed Functional Programming Language
  ☆3,427Updated last month