dannypsnl / racket-llvmLinks
racket llvm C-API bindings
☆18Updated 3 months ago
Alternatives and similar repositories for racket-llvm
Users that are interested in racket-llvm are comparing it to the libraries listed below
Sorting:
- Racket Equivalence Graph Library☆19Updated 3 years ago
- A notional machine for the SMoL languages☆22Updated 2 years ago
- An experimental Racket implementation using LLVM/MLIR☆61Updated 2 years ago
- A Racket refactoring engine☆65Updated this week
- Category Theory in Programming☆12Updated 2 months ago
- ☆12Updated 2 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Updated last year
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- Analysis of Racket code base☆14Updated 5 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆37Updated last week
- ☆22Updated 5 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Updated 6 years ago
- My personal template repository for Racket packages☆16Updated 5 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- Miscellaneous Racket utilities lacking a better home☆13Updated last month
- ☆19Updated 2 years ago
- WebAssembly model in Redex☆16Updated 6 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated 3 weeks ago
- Course web page for Fall 2021.☆21Updated 3 years ago
- Prototypes: Object Orientation, Functionally☆46Updated this week
- Matita (proof assistant) with embedded elpi☆14Updated 7 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Experiments about intermediate representations in compilers☆28Updated 13 years ago
- XKCD 3062☆22Updated 7 months ago
- Benchmark repository of polyglot effect handler examples☆29Updated 2 months ago
- Easy scripting for DrRacket☆18Updated 2 months ago