dannypsnl / racket-llvmLinks
racket llvm C-API bindings
☆17Updated 5 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
- ☆22Updated 5 years ago
- Lean4 backend using `libgccjit`!☆11Updated last year
- A Racket Meta-Program Generator☆17Updated 5 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- ☆19Updated 2 years ago
- an implementation of Observational Type Theory (OTT) and more☆26Updated 2 years ago
- A notional machine for the SMoL languages☆22Updated last year
- Common lisp implementation of Val Schorr's Meta-II language☆17Updated 8 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 4 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last month
- Minimalist compiler course, based on Essential of Compilation☆10Updated 9 months ago
- Experiments with Cubical Agda☆11Updated last month
- A work-in-progress structure editor for the cooltt proof assistant.☆18Updated 2 years ago
- ☆12Updated last year
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- Run raco run! Easier running Racket submodules on the command line.☆10Updated last month
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- A diagram drawing library for Racket☆19Updated 4 years ago
- Matita (proof assistant) with embedded elpi☆13Updated 7 years ago
- Implementation of local and remote loci for Racket☆12Updated 4 years ago
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 3 years ago
- Racket bindings for Z3☆24Updated 6 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated 5 months ago
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆20Updated 8 months ago
- Denotational Semantics of the Untyped Lambda Calculus☆16Updated 3 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- Rules for writing academic papers and checking them using LTex-ls and LanguageTool☆19Updated 3 months ago