bldl / magnolisp
Magnolisp, a toy programming language
☆16Updated last year
Alternatives and similar repositories for magnolisp:
Users that are interested in magnolisp are comparing it to the libraries listed below
- A Scala-style magic function application form☆43Updated 2 years ago
- ☆12Updated 3 months ago
- A port of sweet expressions to Racket☆47Updated last year
- A diagram drawing library for Racket☆18Updated 4 years ago
- ☆19Updated last year
- #lang for writing C code☆15Updated 7 years ago
- ☆21Updated 4 years ago
- Racket-based implementation of Adapton☆22Updated 5 years ago
- Functional interfaces and datatypes for Racket☆43Updated 3 years ago
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Racket bindings for Z3☆24Updated 5 years ago
- ☆18Updated 3 months ago
- Quickcheck Clone implemented in Racket☆31Updated 6 months ago
- a code coverage tool for racket☆38Updated 8 months ago
- Auto define Racket bindings to C by parsing header files.☆29Updated 2 years ago
- Racket port of the nanopass-framework☆34Updated 3 years ago
- A scribble library for using pygmentize☆16Updated 2 years ago
- ☆15Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 7 years ago
- Sound and efficient gradual typing via contract verification.☆20Updated last year
- Easy scripting for DrRacket☆18Updated 3 months ago
- Optimization Coach Plug-In for DrRacket☆20Updated 3 months ago
- Datalog implemented in minikanren☆24Updated 7 years ago
- Forth emulator, as a Racket #lang☆21Updated last year
- Collection of syntax/parse macros☆29Updated 2 years ago
- Manipulating racket bytecode☆25Updated 3 years ago
- (Somewhat) Algebraic Data Types for Racket☆34Updated 2 years ago
- ☆45Updated 3 months ago
- A prototype of soft contract verification for an untyped functional language☆34Updated 3 years ago
- ☆11Updated 3 months ago