akeep / nanopass-framework-racket
Racket port of the nanopass-framework
☆34Updated 3 years ago
Related projects: ⓘ
- A port of sweet expressions to Racket☆47Updated last year
- Bindings for llvm in racket☆65Updated 9 years ago
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- ☆57Updated 7 years ago
- minikanren mips assembler/disassembler☆29Updated 9 years ago
- Canonical miniKanren implementation in Racket☆83Updated 2 years ago
- My Own Linear Lisp☆36Updated 6 years ago
- Metacircular evaluator for a tiny fexpr language☆45Updated 12 years ago
- Haskell Semantics with Lisp Syntax☆66Updated 10 years ago
- The Mechanization of Standard ML☆72Updated 2 years ago
- Quickcheck Clone implemented in Racket☆32Updated last month
- ☆10Updated 8 years ago
- The PGG Partial Evaluation System for Scheme 48☆17Updated 11 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- Relational Hindley-Milner type inferencer in miniKanren. Supports polymorphic 'let'. Performs type habitation.☆20Updated 9 years ago
- Prolog implementation of microKanren☆41Updated 9 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- microkanren in sml☆26Updated 9 years ago
- Racket bindings for Poppler (library for reading and generating pdfs)☆25Updated 4 months ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Generic collections API for Racket☆53Updated 2 years ago
- remix - a revised version of Racket☆33Updated last year
- A Lisp syntax for Haskell.☆22Updated 12 years ago
- Medic Package☆11Updated 8 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- higher order dependently typed logic programing☆164Updated 6 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- Manipulating racket bytecode☆25Updated 2 years ago
- A small implementation of type inference☆78Updated 9 years ago
- ☆18Updated last month