Alternatives and similar repositories for aterms:

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

• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆27Updated last year
• travitch / datalog
  A pure Haskell implementation of Datalog
  ☆105Updated 4 years ago
• GaloisInc / saw-core
  The SAW core language.
  ☆54Updated 3 years ago
• hazelgrove / HZ
  Simple reference implementation of Hazelnut using js_of_ocaml and OCaml React. (frozen -- ongoing development in the hazel repo)
  ☆29Updated 7 years ago
• alcestes / mpstk
  Multiparty Session Types toolKit
  ☆15Updated this week
• enso-lang / enso
  ☆71Updated 4 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆40Updated 6 years ago
• clf / celf
  ☆60Updated 5 years ago
• metaocaml / metaocaml-bibliography
  MetaML and MetaOCaml bibliography
  ☆89Updated 5 months ago
• madgen / temporalog
  A Datalog extension to reason about time with CTL operators
  ☆14Updated 5 years ago
• chessai / hsdatalog
  BDD-based implementation of Datalog
  ☆37Updated 4 years ago
• ISANobody / sill
  ☆29Updated 9 years ago
• neel-krishnaswami / inverse-bidirectional-typechecking
  A Toy Inverse Bidirectional Typechecker
  ☆31Updated 5 years ago
• conal / talk-2020-calculating-compilers-categorically
  A talk
  ☆28Updated 4 years ago
• idris-hackers / idris-posix
  System POSIX bindings for Idris.
  ☆36Updated 6 years ago
• ucsd-progsys / mist
  A tiny language for teaching and experimenting with Refinement Types
  ☆47Updated 3 years ago
• querycert / qcert
  Compilation and Verification of Data-Centric Languages
  ☆58Updated 9 months ago
• jkoppel / ecta
  ☆35Updated last year
• jozefg / blott
  An experimental type checker for a modal dependent type theory.
  ☆112Updated 5 years ago
• dvanhorn / redex-aam-tutorial
  An Introduction to Redex with Abstracting Abstract Machines
  ☆103Updated last year
• ynot-harvard / ynot
  The Ynot Project source code.
  ☆22Updated 11 years ago
• namin / lms-black
  purple: compiling a reflective language
  ☆32Updated 6 months ago
• michaelt / tagless
  oleg modules
  ☆30Updated 12 years ago
• plum-umd / adapton.ocaml
  (Nominal) Adapton in OCaml
  ☆54Updated 9 years ago
• jfaure / lfvm-stg
  Map lazy functional language constructs to LLVM IR
  ☆50Updated 5 years ago
• kseo / poly_constraints
  Hindley-Milner type inference using constraints
  ☆50Updated 8 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆40Updated last year
• sweirich / corespec
  A Specification for Dependent Types in Haskell (Core)
  ☆64Updated 2 years ago
• m0ar / lollipop
  A general purpose programming language with linear types
  ☆43Updated 8 years ago
• TiarkRompf / rrbtrees
  RRB-Trees: Efficient Immutable Vectors
  ☆50Updated 12 years ago