dannypsnl / racket-llvmLinks
racket llvm C-API bindings
☆18Updated 3 weeks 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 last year
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 8 years ago
- Category Theory in Programming☆12Updated last week
- An experimental Racket implementation using LLVM/MLIR☆62Updated 2 years ago
- Analysis of Racket code base☆14Updated 4 years ago
- ☆12Updated 2 years ago
- A Racket refactoring engine☆65Updated this week
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 6 months ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- ☆22Updated 5 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- A Redex tutorial with a focus on how to do work in Redex☆11Updated 9 months ago
- ☆19Updated 2 years ago
- Sed Lisp -- a lisp interpreter in GNU sed☆54Updated 4 years ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- An experimental language server for SomewhatML☆24Updated 2 years ago
- Experiments with Cubical Agda☆13Updated this week
- racket scheme peg-parser☆23Updated 3 years ago
- Ones Inner Universe.☆5Updated this week
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A metalanguage for creating sophisticated DSLs in Racket.☆32Updated last week
- Semantic model for aspects of ELF static linking and DWARF debug information☆49Updated last week
- Adds syntax to racket languages☆11Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆31Updated 3 months ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated 3 weeks ago
- An implementation of "A Pretty Expressive Printer" in Racket☆28Updated last year
- virtualenv like tool for Racket☆31Updated 2 years ago
- A constraint solver built from scratch in OCaml☆11Updated 3 years ago
- Miscellaneous Racket utilities lacking a better home☆12Updated 8 months ago