jrslepak / RemoraLinks
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
Sorting:
- APL Compiler targeting a typed array intermediate language☆213Updated 8 months ago
- A less devious proof assistant☆224Updated 2 years ago
- Apple array system☆66Updated 2 weeks ago
- The Mechanization of Standard ML☆73Updated 2 years ago
- ☆137Updated 2 years ago
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆132Updated last month
- Metacircular evaluator for a tiny fexpr language☆44Updated 13 years ago
- Real number computation software☆124Updated 2 years ago
- Collapsing Towers of Interpreters☆91Updated last year
- ☆71Updated 2 months ago
- nqthm - the original Boyer-Moore theorem prover, from 1992☆52Updated 8 years ago
- higher order dependently typed logic programing☆171Updated 6 years ago
- A DSL for runtime code generation in racket☆67Updated 2 years ago
- ☆60Updated 5 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- Canonical miniKanren implementation in Racket☆84Updated 3 years ago
- The NIAL language environment☆112Updated 2 years ago
- Guy Steele's RABBIT Scheme compiler☆60Updated 16 years ago
- Prolog implementation of microKanren☆43Updated 10 years ago
- Bologna Optimal Higher-Order Machine, Version 1.1☆72Updated 8 years ago
- an implementation of stuck macros☆142Updated 2 months ago
- An interpreter for a J-inspired language☆91Updated last year
- ☆79Updated 6 years ago
- The Makam Metalanguage☆198Updated 2 years ago
- A compiler for functional programs on serialized data☆164Updated this week
- A port of sweet expressions to Racket☆48Updated 2 years ago
- nanopass compiler framework for Racket☆189Updated last year
- A Haskell implementation of the Shen programming language.☆168Updated 7 years ago
- An embeddable flow-oriented language.☆71Updated 2 months ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago