bldl / magnolisp
Magnolisp, a toy programming language
☆15Updated 9 months ago
Related projects: ⓘ
- Racket-based implementation of Adapton☆22Updated 5 years ago
- A Scala-style magic function application form☆43Updated 2 years ago
- ☆18Updated last month
- ☆18Updated last year
- A port of sweet expressions to Racket☆47Updated last year
- An idris backend compiling to chez scheme☆47Updated 6 years ago
- (Somewhat) Algebraic Data Types for Racket☆35Updated last year
- #lang for writing C code☆15Updated 7 years ago
- Quickcheck Clone implemented in Racket☆32Updated last month
- Manipulating racket bytecode☆25Updated 2 years ago
- ☆10Updated last month
- Racket bindings for Z3☆24Updated 5 years ago
- ☆21Updated 4 years ago
- Forth emulator, as a Racket #lang☆22Updated last year
- Nominal logic programming extensions to miniKanren, based on alphaProlog.☆23Updated 10 years ago
- A property-based testing library for Racket.☆28Updated 4 months ago
- A Scheme-like CBPV language with Racket Interoperability☆39Updated 6 months ago
- Auto define Racket bindings to C by parsing header files.☆28Updated 2 years ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Functional interfaces and datatypes for Racket☆42Updated 3 years ago
- My Own Linear Lisp☆36Updated 6 years ago
- A Racket refactoring engine☆56Updated this week
- A DSL for runtime code generation in racket☆66Updated 2 years ago
- Relational Programming in miniKanren☆52Updated 9 years ago
- Standard ML compiler based on typed intermediate languages.☆46Updated 10 years ago
- CLP(SMT) on top of miniKanren☆35Updated 2 years ago
- ☆34Updated last month
- A Racket Meta-Program Generator☆17Updated 4 years ago
- A diagram drawing library for Racket☆19Updated 3 years ago
- Optimization Coach Plug-In for DrRacket☆20Updated last month