Alternatives and similar repositories for Learn-OCaml:

Users that are interested in Learn-OCaml are comparing it to the libraries listed below

• aduraj / ocaml-data-structures
  Data structure implementations (Avl tree, Red-black tree, Splay tree, Heap) for Ocaml language
  ☆18Updated 12 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 12 years ago
• janestreet / opam-repository
  Opam repository for the development version of Jane Street packages
  ☆120Updated 3 months ago
• smeruelo / mooc-ocaml
  Functional Programming in OCaml MOOC
  ☆36Updated 5 years ago
• ocaml-ppx / ppx_getenv
  A sample syntax extension using OCaml's new extension points API.
  ☆25Updated 8 months ago
• jin / scheme.ml
  Scheme (R6RS subset) interpreter written in OCaml
  ☆16Updated 4 years ago
• kit-ty-kate / labrys
  A toy language based on LLVM that implements the System Fω type-system
  ☆107Updated last year
• prakhar1989 / JSJS
  A strongly typed language for the web!
  ☆40Updated 8 years ago
• LaurentMazare / btc-ocaml
  A toy implementation of the bitcoin protocol in ocaml.
  ☆30Updated 9 years ago
• bvaugon / ocamlcc
  OCaml bytecode to C compiler
  ☆100Updated 4 years ago
• SimonJF / cmm_of_wasm
  A compiler from WebAssembly to native code, via the OCaml backend.
  ☆91Updated 6 years ago
• komamitsu / oraft
  Library of Raft consensus algorithm implemented in OCaml
  ☆30Updated last year
• janestreet / ocaml
  The core OCaml system: compilers, runtime system, base libraries
  ☆18Updated 3 years ago
• vbmithr / ocaml-websocket
  Websocket library for OCaml
  ☆165Updated 2 months ago
• gregoire-szymanski / mini-rust
  Compiler for a simplified version of Rust developed in OCaml under Jean Christophe Filliatre Supervision (https://www.lri.fr/~filliatr/in…
  ☆13Updated 4 years ago
• VeriNum / vcfloat
  VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
  ☆28Updated last month
• diku-dk / futhark-benchmarks
  Various Futhark benchmark programs
  ☆42Updated this week
• janestreet / async
  Jane Street Capital's asynchronous execution library
  ☆214Updated 4 months ago
• nwoeanhinnogaehr / algorithmw-rust
  A basic implementation of Hindley-Milner type inference via Algorithm W in Rust.
  ☆44Updated 8 years ago
• cynddl / sublime-text-merlin
  Merlin package for Sublime Text 3
  ☆46Updated 7 years ago
• andrenth / ocaml-stdint
  Various signed and unsigned integers for OCaml
  ☆84Updated 2 years ago
• coq-concurrency / pluto
  A web server written in Coq.
  ☆87Updated 8 years ago
• nt591 / monkey-ocaml
  Ocaml code from Writing an Interpreter in Go
  ☆10Updated 5 years ago
• LaurentMazare / rsexp
  S-expression parsing and writing in Rust
  ☆18Updated last year
• janestreet / ocaml_intrinsics
  Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…
  ☆34Updated 4 months ago
• janestreet / bin_prot
  Binary protocol generator
  ☆77Updated 4 months ago
• tlaplus / tlapm_alternative_parser_experiment
  The rewrite of TLAPM, the TLAPS proof manager
  Updated 5 years ago
• grain-lang / binaryen.ml
  OCaml bindings for Binaryen.
  ☆49Updated 3 weeks ago
• raphael-proust / cps-ssa
  Experiments about intermediate representations in compilers
  ☆25Updated 12 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆34Updated 10 years ago