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
• RedlineResearch / floorplan
  Spatial layout specifications for memory management systems.
  ☆19Updated 4 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 7 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆30Updated 9 years ago
• deech / shen-rust
  ☆35Updated 5 years ago
• mbrock / HBEAM
  Prototypical Haskell virtual machine for Erlang's BEAM bytecode
  ☆27Updated 13 years ago
• Tablam / TablaM_old
  A general purpose relational language
  ☆19Updated 5 years ago
• mthom / shen-minikanren
  An embedding of miniKanren in Shen.
  ☆25Updated 10 years ago
• canonware / onyx
  Stack-based, multi-threaded, interpreted, general purpose programming language similar to PostScript
  ☆11Updated 3 years ago
• liamoc / hilbert
  An intensely interactive, graphical theorem prover based on natural deduction
  ☆29Updated 10 years ago
• silentbicycle / hopscotch
  An implementation of Tarjan's Strongly Connected Components algorithm
  ☆13Updated 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
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago
• racket / datalog
  ☆47Updated last month
• mpickering / 500-sql-haskell
  A Haskell implementation of "Functional pearl: a SQL to C compiler in 500 lines of code"
  ☆46Updated 6 years ago
• ramsdell / ocaml-datalog
  This package contains a lightweight deductive database system in OCaml
  ☆41Updated 3 years ago
• madgen / exalog
  Semi-naïve typed Datalog backend with runtime, transformations, and foreign predicate support
  ☆16Updated 4 years ago
• cedricbonhomme / iterated-function-systems
  Iterated Function Systems fractals with OCaml.
  ☆34Updated 3 years ago
• kayceesrk / multiMLton
  MLton for scalable multicore architectures
  ☆57Updated 11 years ago
• DRMacIver / shrinkray-old
  Shrink Ray is a new test-case reducer designed to be effective on a wide range of formats
  ☆29Updated 5 years ago
• irfansharif / raft.tla
  TLA+ specification for the Raft consensus algorithm (with Pre-Vote)
  ☆12Updated 7 years ago
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆31Updated 8 years ago
• savonet / ocaml-duppy
  OCaml asynchronous scheduler and monad for server-oriented programming.
  ☆16Updated 2 months ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 9 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• xnning / Row-and-Bounded-via-Disjoint
  Coq proof for elaborating row polymorphism and bounded polymorphism into disjoint polymorphism.
  ☆13Updated 5 years ago
• MLton / mltonlib
  The MLtonLibrary repository
  ☆36Updated 2 years ago
• attresearch / yakker
  ☆23Updated 13 years ago