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
  ☆34Updated 6 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 5 months ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• gfngfn / toy-macro-ml
  An implementation of MacroML [Ganz, Sabry & Taha 2001]
  ☆30Updated 6 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆81Updated 3 years ago
• cuplv / iodyn-lang.rust
  IODyn: A functional language for implicitly-incremental programs with dynamic input and output collections
  ☆15Updated 7 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• steinwaywhw / ats-parcc
  A parsing combinator library.
  ☆10Updated 8 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated 2 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• Barry-Jay / Intensional-computation
  translations of a lambda abstraction to combinations of operators
  ☆18Updated 5 years ago
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 5 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 4 years ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated last year
• 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
• myter / CAPtain
  Integrating the CAP theorem into distributed language design.
  ☆13Updated 6 years ago
• whitequark / ocaml-llvm-ng
  A practical LLVM backend for OCaml (will never be finished)
  ☆34Updated 10 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• samuell / awesome-datalog
  Awesome datalog libraries, tools and resources
  ☆60Updated 5 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆40Updated 3 years ago
• Bogdanp / racket-kafka
  A Kafka client for Racket.
  ☆17Updated last year
• shift-society / salon
  Salon des Refusés - Dialectics for new computer science
  ☆11Updated 6 years ago
• yallop / icfp2014-papers
  Accepted papers for ICFP 2014
  ☆119Updated 8 years ago