C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..
☆33May 21, 2020Updated 6 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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Emerald is an object oriented language that uses prototypal based inheritance.☆23Jan 20, 2022Updated 4 years ago
- Wikilooper web version☆13Mar 19, 2021Updated 5 years ago
- A DSL/LISP dialect written in Haskell☆21Aug 30, 2018Updated 8 years ago
- The Reussir Programming Language. Reuse Analysis in MLIR and Rust. Functional programming meets performance.☆19Mar 29, 2025Updated last year
- Exercises from Benjamin Pierce's "Types and Programming Languages" textbook + extras!☆218Jul 26, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Racket Equivalence Graph Library☆19May 24, 2022Updated 4 years ago
- Experimental fork of TinyScheme and extensions TSX, RE.☆16Jul 4, 2015Updated 11 years ago
- A Racket Meta-Program Generator☆17Mar 26, 2020Updated 6 years ago
- An tree-walking interpreter for a subset of the Lox programming language from "Crafting Interpreters" written in OCaml☆12Apr 15, 2020Updated 6 years ago
- Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with sca…☆63Feb 19, 2026Updated 6 months ago
- Generic parse tree, configurable lexer, `lemon` parser generator, wrapped for C++17 and Python 3.☆15Apr 26, 2021Updated 5 years ago
- Provides functions to invoke amd64 instructions (such as clz,popcnt,rdtsc,rdpmc) when available, or compatible software implementation on…☆39Jul 10, 2026Updated last month
- ☆10Jul 29, 2024Updated 2 years ago
- Interpreters from Kamin's PLIBA book, rewritten in Python 3☆20Jun 8, 2021Updated 5 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Vim operators to execute text objects☆26Oct 21, 2019Updated 6 years ago
- Prototype for a SPIR-V assembler and dissasembler. It provides a composable Java interface for generating SPIR-V code at runtime.☆16Oct 31, 2025Updated 10 months ago
- Z80 diassembler/assembler/emulator in golang☆12Oct 28, 2024Updated last year
- Generation of accessor and iteration functions for ocaml variant types☆50Jul 10, 2026Updated last month
- a book about declarative language definition☆25Mar 31, 2016Updated 10 years ago
- S-expressions in Python. Python cross-version compiler. Clean and efficient LISP back end.☆17Jun 6, 2020Updated 6 years ago
- Python implementation of locks, which is an imperative, dynamically typed, procedure oriented scripting language based on the lox program…☆34Mar 3, 2022Updated 4 years ago
- 🤠 Just a programming language with a silly name☆15Oct 30, 2022Updated 3 years ago
- Conjures up convenient OCaml types and serialization functions based on protobuf definition files☆19Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An ahead-of-time compiler from Erlang (intermediate language) to LLVM IR and a runtime library for linking against it☆15Sep 18, 2018Updated 7 years ago
- ☆13Apr 23, 2018Updated 8 years ago
- ☆10Jul 6, 2023Updated 3 years ago
- Salon des Refusés - Dialectics for new computer science☆11Feb 6, 2019Updated 7 years ago
- A gradually typed language originally based on the crafting interpreters series☆65Aug 17, 2026Updated 2 weeks ago
- The Mickey Mouse of dynamic linkers☆17Aug 23, 2026Updated last week
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆34May 18, 2023Updated 3 years ago
- ☆16Aug 2, 2022Updated 4 years ago
- Easily edit Minecraft worlds with a simple, fast and powerful API.☆15Aug 20, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A lightweight, customizable, interpreted programming language☆12Nov 10, 2019Updated 6 years ago
- Show recent files and projects in scratch buffer.☆11Jan 19, 2026Updated 7 months ago
- WebAssembly in Python.☆18Apr 16, 2025Updated last year
- interpreter devkit☆25Oct 6, 2019Updated 6 years ago
- An insanely simple self-hosted functional programming language☆165Aug 2, 2019Updated 7 years ago
- A space-optimized implementation of std::Vec☆36Sep 22, 2024Updated last year
- Embed typed ASN.1 grammars in OCaml☆36Dec 17, 2024Updated last year