Alternatives and similar repositories for choral

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

• Storyyeller / polysubml-demo
  A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference
  ☆61Updated this week
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆34Updated 2 years ago
• Barry-Jay / bondi
  source code for the bondi programming language
  ☆41Updated 6 years ago
• alloy-js / sterling
  Alloy with browser-based visualizations
  ☆29Updated 4 years ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆72Updated 3 months ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆45Updated last year
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated 2 months ago
• namin / lms-black
  purple: compiling a reflective language
  ☆33Updated last year
• TyGuS / suslik
  Synthesis of Heap-Manipulating Programs from Separation Logic
  ☆128Updated 2 years ago
• PLTools / OCanren
  Statically typed embedding of miniKanren relational programming language into OCaml
  ☆119Updated 2 weeks ago
• maude-lang / Maude
  Language based on Rewriting Logic
  ☆140Updated last week
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆38Updated last year
• boomerang-lang / boomerang
  The Boomerang Bidirectional Programming Language
  ☆76Updated 2 years ago
• tnelson / Forge
  Forge: A Tool and Language for Teaching Formal Methods
  ☆91Updated last week
• jkoppel / ecta
  ☆37Updated last year
• Gradual-Typing / Grift
  A compiler for the gradually typed lambda calculus
  ☆75Updated 3 years ago
• boyland / sasylf
  Educational Proof Assistant for Type Theory
  ☆75Updated last year
• effect-handlers / effects-rosetta-stone
  A comparison of how computational effects and handlers are implemented in various programming languages.
  ☆143Updated 6 years ago
• UChicago-PL / smyth
  Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.
  ☆55Updated 4 years ago
• llaisdy / PrologInfo
  Prolog, Datalog, languages, resources, and beyond!
  ☆32Updated 11 months ago
• bpowers / liquid-types
  Logically Qualified Data Types - automatically infer refinement types
  ☆16Updated 4 years ago
• shwestrick / smlfmt
  A custom parser/auto-formatter for Standard ML
  ☆83Updated 2 months ago
• philzook58 / egglog0
  Datalog + Egg = Good
  ☆66Updated 2 years ago
• isabelle-prover / mirror-isabelle
  Git mirror of https://isabelle.in.tum.de/repos/isabelle
  ☆72Updated this week
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆80Updated 8 years ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• SomewhatML / sml-analyzer
  An experimental language server for SomewhatML
  ☆24Updated 2 years ago
• pdarragh / parsing-with-zippers-paper-artifact
  The artifact associated with "Parsing with Zippers (Functional Pearl)" (Darragh and Adams) to appear in ICFP 2020.
  ☆29Updated last year
• astampoulis / makam
  The Makam Metalanguage
  ☆199Updated 2 years ago
• vmchale / apple
  Apple array system
  ☆68Updated last week