Alternatives and similar repositories for alf:

Users that are interested in alf are comparing it to the libraries listed below

• lindig / lipsum
  A Literate Programming Tool inspired by NoWeb, implemented in OCaml
  ☆35Updated 6 years ago
• avsm / ocaml-annot
  OCaml annot updated to work with latest 3.10+ annot file format (with Call/Ident info)
  ☆37Updated 6 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆35Updated 6 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• janestreet / core_extended
  Jane Street Capital's standard library overlay
  ☆36Updated last week
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• janestreet / base_quickcheck
  Randomized testing framework, designed for compatibility with Base
  ☆18Updated last week
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆34Updated 11 years ago
• afeinberg / ocaml-tinylisp
  An absurdly tiny Lisp interpreter in OCaml
  ☆31Updated 13 years ago
• mirleft / ocaml-asn1-combinators
  Embed typed ASN.1 grammars in OCaml
  ☆36Updated 4 months ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• ocsigen / macaque
  ☆38Updated 5 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• ocaml-multicore / multicore-talks
  Repository containing slides and examples from the 2020 OCaml Workshop talk on "Parallelising your OCaml code with Multicore OCaml"
  ☆29Updated last year
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 4 years ago
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• mukeshtiwari / Idris
  Codes related to Idris
  ☆15Updated 9 years ago
• aryx / xix
  Plan9 software ported to OCaml
  ☆25Updated this week
• openvstorage / arakoon
  The consistent distributed key-value store in Open vStorage.
  ☆29Updated 5 years ago
• dvanhorn / ubik
  Small Scheme interpreter and compiler
  ☆14Updated 9 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆32Updated 6 years ago
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago