dannypsnl / racket-llvmLinks
racket llvm C-API bindings
☆17Updated 6 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
- Lean4 backend using `libgccjit`!☆11Updated last year
- ☆22Updated 5 years ago
- Minimalist compiler course, based on Essential of Compilation☆10Updated 10 months ago
- Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation☆17Updated last month
- An implementation of MacroML [Ganz, Sabry & Taha 2001]☆32Updated 6 years ago
- Quantum circuits compiler with staging and continuations☆16Updated 7 months ago
- SML Checker for Intersection and Datasort Refinements (pronounced "cider")☆20Updated 11 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Experiments about intermediate representations in compilers☆25Updated 12 years ago
- Experiment with synthetic domain theory in cubical agda☆14Updated 2 years ago
- A formally verified compiler for a simple language with numbers and sums☆27Updated 4 years ago
- Some rudimentary proofs on subtyping☆11Updated 3 years ago
- Benchmark repository of polyglot effect handler examples☆24Updated 2 months ago
- A Racket Meta-Program Generator☆17Updated 5 years ago
- A notional machine for the SMoL languages☆21Updated last year
- 🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory☆20Updated 8 months ago
- Implementations of various toy programming languages☆12Updated 7 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- LL(1) parser generator verified in Coq☆47Updated 5 years ago
- ☆12Updated 2 years ago
- A minimal esolang based on lambda calculus☆16Updated 4 years ago
- JIT compiler for Scheme targeting x86-64 platforms☆31Updated 6 years ago
- A ML-like pure functional language that can be used as a template for creating your own language☆28Updated 5 months ago
- SPSC: A Small Positive Supercompiler☆35Updated last year
- [research] A modular SMT solver in OCaml, based on mcSAT☆39Updated last year
- FunTAL: mixing a functional language with assembly.☆40Updated 8 years ago
- An Agda formalization of System F and the Brown-Palsberg self-interpreter☆24Updated 4 years ago
- Semantic model for aspects of ELF static linking and DWARF debug information☆44Updated last week