LeifAndersen / nanopasstutorial
☆10Updated 9 years ago
Alternatives and similar repositories for nanopasstutorial:
Users that are interested in nanopasstutorial are comparing it to the libraries listed below
- ☆11Updated 8 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.☆17Updated 8 years ago
- Auto define Racket bindings to C by parsing header files.☆29Updated 2 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- An idris backend compiling to chez scheme☆46Updated 7 years ago
- A zipper library for Racket☆20Updated 8 years ago
- Manipulating racket bytecode☆25Updated 3 years ago
- The PGG Partial Evaluation System for Scheme 48☆18Updated 12 years ago
- Bindings for llvm in racket☆65Updated 9 years ago
- ☆29Updated 9 years ago
- ☆57Updated 7 years ago
- ECMAScript for Racket☆20Updated 3 years ago
- A port of sweet expressions to Racket☆47Updated 2 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- ☆11Updated 3 weeks ago
- a simple x64 assembler written in typed/racket☆18Updated 3 years ago
- Embedding of some of SQL into Racket☆34Updated 3 years ago
- remix - a revised version of Racket☆33Updated 2 years ago
- A miniKanren interpreter... in miniKanren. Relationally run your relations relationally!☆22Updated 8 years ago
- ☆15Updated 2 years ago
- An evaluator with an expander.☆20Updated 9 years ago
- Collection of syntax/parse macros☆29Updated 2 years ago
- Quickcheck Clone implemented in Racket☆31Updated 7 months ago
- ☆34Updated 3 weeks ago
- ☆12Updated 3 months ago
- ☆18Updated last year
- Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.☆30Updated last month
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago