dannypsnl / racket-llvm
racket llvm C-API bindings
☆17Updated 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
- Racket Equivalence Graph Library☆18Updated 2 years ago
- ☆19Updated last year
- Lean4 backend using `libgccjit`!☆11Updated last year
- ☆21Updated 5 years ago
- A notional machine for the SMoL languages☆22Updated last year
- Minimalist compiler course, based on Essential of Compilation☆10Updated 6 months ago
- A server, client and UI for remotely debugging Racket applications.☆19Updated 8 months ago
- A diagram drawing library for Racket☆18Updated 4 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last month
- A Racket Meta-Program Generator☆17Updated 4 years ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- An implementation of "A Pretty Expressive Printer" in Racket☆27Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- An experimental Racket implementation using LLVM/MLIR☆62Updated last year
- A Redex tutorial with a focus on how to do work in Redex☆11Updated 4 months ago
- Run raco run! Easier running Racket submodules on the command line.☆10Updated last year
- Some code in the Rhombus/Shrubbery prototype☆12Updated 3 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆19Updated 5 months ago
- SPSC: A Small Positive Supercompiler☆34Updated 9 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆16Updated last month
- Quantum circuits compiler with staging and continuations☆15Updated 3 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- ☆12Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆18Updated 7 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆43Updated 2 months ago
- Racket bindings for Z3☆24Updated 5 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago