Alternatives and similar repositories for Remora:

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

• melsman / apltail
  APL Compiler targeting a typed array intermediate language
  ☆211Updated 5 months ago
• wilbowma / cur
  A less devious proof assistant
  ☆222Updated 2 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆128Updated 3 months ago
• vmchale / apple
  Apple array system
  ☆66Updated this week
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆87Updated last year
• mmirman / caledon
  higher order dependently typed logic programing
  ☆170Updated 6 years ago
• John-Nagle / nqthm
  nqthm - the original Boyer-Moore theorem prover, from 1992
  ☆50Updated 8 years ago
• mlochbaum / ILanguage
  An interpreter for a J-inspired language
  ☆90Updated last year
• asperti / BOHM1.1
  Bologna Optimal Higher-Order Machine, Version 1.1
  ☆69Updated 8 years ago
• kmcallister / qoppa
  Metacircular evaluator for a tiny fexpr language
  ☆44Updated 12 years ago
• rain-1 / continuations-study-group
  ☆77Updated 5 years ago
• clf / celf
  ☆59Updated 5 years ago
• stchang / macrotypes
  ☆136Updated 2 years ago
• mthom / shentong
  A Haskell implementation of the Shen programming language.
  ☆166Updated 6 years ago
• mflatt / expander
  ☆67Updated this week
• takikawa / sweet-racket
  A port of sweet expressions to Racket
  ☆47Updated last year
• webyrd / untitled-relational-interpreter-book
  Relational Programming in miniKanren
  ☆52Updated 9 years ago
• lexi-lambda / blackboard
  A (very) unfinished OpenType Math layout and rendering engine in Racket
  ☆54Updated 6 months ago
• astampoulis / makam
  The Makam Metalanguage
  ☆197Updated last year
• mietek / epigram2
  Mirror of Epigram 2, by Conor McBride, et al.
  ☆48Updated 4 years ago
• standardml / twelf
  The Twelf Programming Language
  ☆118Updated 2 weeks ago
• andrejbauer / marshall
  Real number computation software
  ☆123Updated 2 years ago
• melted / idris-chez
  An idris backend compiling to chez scheme
  ☆46Updated 7 years ago
• racket / redex
  ☆92Updated 3 weeks ago
• nanopass / nanopass-framework-racket
  nanopass compiler framework for Racket
  ☆187Updated last year
• chrisdone-archive / z
  A strict, impure, curried, partially applied programming language with rather peculiar syntax.
  ☆281Updated 11 years ago
• gelisam / klister
  an implementation of stuck macros
  ☆138Updated this week
• acharal / hopes
  Higher Order Prolog with Extensional Semantics
  ☆53Updated 4 years ago
• danlm / QNial7
  The NIAL language environment
  ☆111Updated last year
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago