C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
☆34May 21, 2020Updated 5 years ago
Alternatives and similar repositories for types-and-programming-languages
Users that are interested in types-and-programming-languages are comparing it to the libraries listed below
Sorting:
- Emerald is an object oriented language that uses prototypal based inheritance.☆23Jan 20, 2022Updated 4 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆13Oct 31, 2025Updated 4 months ago
- Semi-automated vocabulary generation from semantic vector models☆10Dec 15, 2021Updated 4 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆64Feb 19, 2026Updated last week
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 4 years ago
- A simple interpreter featuring a tracing JIT☆16Mar 28, 2011Updated 14 years ago
- a Lisp-like functional language with flexible suspension and resumption☆15Aug 17, 2025Updated 6 months ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 7 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated 11 months ago
- Racket Equivalence Graph Library☆19May 24, 2022Updated 3 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Aug 28, 2018Updated 7 years ago
- WebAssembly AOT compiler with cross-CPU checkpoint/restore support☆20Jun 21, 2025Updated 8 months ago
- fuse for erlang (rebarified version)☆25Jan 17, 2023Updated 3 years ago
- The Mickey Mouse of dynamic linkers☆16Nov 15, 2025Updated 3 months ago
- WebAssembly model in Redex☆16May 16, 2019Updated 6 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 5 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 5 years ago
- pylibjit, a Python library for compiling Python functions☆19Oct 1, 2020Updated 5 years ago
- OCaml syntax extension for synchronous programming...☆32Aug 17, 2023Updated 2 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Apr 1, 2021Updated 4 years ago
- eBPF bytecode assembler and compiler☆23Jun 29, 2024Updated last year
- Experimental Niko Language☆17Sep 6, 2020Updated 5 years ago
- Compiler, runtime and standard library for Tale.☆14May 31, 2021Updated 4 years ago
- OCaml-TLS exposed to C☆23Feb 27, 2018Updated 8 years ago
- custom type systems for python in prolog: http://alehander42.me/prolog_type_systems☆24Jun 10, 2016Updated 9 years ago
- interpreter devkit☆25Oct 6, 2019Updated 6 years ago
- Manipulating racket bytecode☆26Oct 24, 2021Updated 4 years ago
- The Racket pastebin.☆31Sep 24, 2021Updated 4 years ago
- Vim operators to execute text objects☆25Oct 21, 2019Updated 6 years ago
- A basic (basic) Lisp interpreter in C!☆23Dec 17, 2015Updated 10 years ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆30Aug 8, 2022Updated 3 years ago
- The fluffy programming language main repository☆25Feb 2, 2013Updated 13 years ago
- A translator built with Lex and Yacc.☆24May 2, 2020Updated 5 years ago
- Ahead-of-time compiler for Chocopy, a statically typed subset of Python 3, built in Python 3, targeting CIL/CLR, JVM, LLVM IR, and WASM.☆67Nov 4, 2025Updated 3 months ago
- A small standalone WebAssembly interpreter in Rust☆36Nov 12, 2018Updated 7 years ago
- A DSL for runtime code generation in racket☆68May 31, 2022Updated 3 years ago
- Record and Replay for WebAssembly☆35Feb 14, 2026Updated 2 weeks ago
- A from-scratch neural network and transformers library, with speeds rivaling PyTorch☆10Mar 16, 2025Updated 11 months ago
- A synchronous, single-threaded interface for starting processes on Linux☆34Oct 4, 2021Updated 4 years ago