jrslepak / Remora
Dependently-typed language with Iverson-style implicit lifting
☆121Updated 5 years ago
Alternatives and similar repositories for Remora:
Users that are interested in Remora are comparing it to the libraries listed below
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆130Updated last week
- APL Compiler targeting a typed array intermediate language☆211Updated 8 months ago
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- Apple array system☆66Updated this week
- higher order dependently typed logic programing☆171Updated 6 years ago
- A less devious proof assistant☆224Updated 2 years ago
- ☆60Updated 5 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- ☆79Updated 5 years ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- ☆137Updated 2 years ago
- Collapsing Towers of Interpreters☆90Updated last year
- The NIAL language environment☆112Updated 2 years ago
- Real number computation software☆123Updated 2 years ago
- ☆69Updated last month
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Racket parser combinators inspired by parsack and megaparsec☆80Updated 6 months ago
- nanopass compiler framework for Racket☆189Updated last year
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆156Updated 3 months ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆70Updated 8 years ago
- A port of sweet expressions to Racket☆48Updated 2 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- An embeddable flow-oriented language.☆70Updated last month
- An efficient implementation of the higher-order logic programming language Lambda Prolog☆155Updated last year