Full Source Code for Making a Language series
β113Apr 3, 2026Updated 6 months ago
Alternatives and similar repositories for making-a-language
Users that are interested in making-a-language are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- π Web app to help teach HM type inferenceβ23Updated this week
- A comprehensive C language grammar parser library written in Rust, implementing the C23 standard (ISO/IEC 9899:2023).β13Jun 7, 2026Updated 4 months ago
- A WIP compiler for a functional language. Very incomplete!β15Nov 6, 2021Updated 4 years ago
- A garden of small programming language implementations πͺ΄β349Updated this week
- A simple C compiler I wrote to demonstrate how to write simple compilers. Currently targets x86_64β31Jun 27, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits β’ AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inferenceβ71Nov 17, 2025Updated 11 months ago
- Overengineered calculator: Zig + QBEβ13Jul 29, 2026Updated 3 months ago
- Experimental type level programming in Rustβ43Jul 19, 2021Updated 5 years ago
- My PhD Thesisβ16Jan 4, 2022Updated 4 years ago
- For hosting ATS3 and developing CodeDepotβ19Oct 19, 2026Updated last week
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-tyβ¦β31Jun 18, 2022Updated 4 years ago
- # A simple variable binding library based on well-scoped indices and environmentsβ41Oct 9, 2026Updated 2 weeks ago
- System FΟ interpreter for use in Advanced Functional Programming courseβ74Oct 16, 2023Updated 3 years ago
- A toy functional programming language with a System F-based core calculus - Read-only mirror from sr.htβ16Mar 4, 2024Updated 2 years ago
- Simple, predictable pricing with DigitalOcean hosting β’ AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- algebraic typechecking and elaboration of type systemsβ13Jan 25, 2025Updated last year
- A toy compiler based on SPJ's "The Implementation of Functional Programming Languages"β25Jun 9, 2024Updated 2 years ago
- Codebase for the paper "MLstruct: Principal Type Inference in a Boolean Algebra of Structural Types"β52Dec 16, 2024Updated last year
- Proof combinators used in Liquid Haskell for theorem provingβ12Mar 28, 2018Updated 8 years ago
- A low level Haskell library to connect to postgresβ25Sep 15, 2022Updated 4 years ago
- A balanced binary search tree library for OCamlβ24Jun 20, 2026Updated 4 months ago
- A toy dependent typed language.β51Updated this week
- β10Sep 18, 2026Updated last month
- Tutorial-esque examples for common compiler-related tasks in Craneliftβ35Feb 11, 2026Updated 8 months ago
- GPU virtual machines on DigitalOcean Gradient AI β’ AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Fir programming languageβ100May 11, 2026Updated 5 months ago
- Source code for an interactive essay that explores the idea of representing programs not as source code, but as sequences of interactionsβ¦β24Jan 3, 2023Updated 3 years ago
- A menagerie of cute implementations of modern typechecking algorithmsβ463Sep 27, 2026Updated last month
- Code and Materials for an interactive online course on Logic (part of Strathclyde's CS208 Logic and Algorithms module)β14Updated this week
- A PBT frameworkβ10Jul 19, 2025Updated last year
- A tiny language for teaching and experimenting with Refinement Typesβ50Jun 22, 2021Updated 5 years ago
- Admiran is a pure, lazy, functional language and self-hosting compiler based upon Mirandaβ120Updated this week
- The MLPolyR programming language, revivedβ25Oct 15, 2020Updated 6 years ago
- Didactic implementation of the type checker described in "Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism" writβ¦β22May 20, 2021Updated 5 years ago
- 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 MinCaml compiler implemented in Rustβ45Mar 3, 2026Updated 7 months ago
- An example on how to write an incremental, concurrent, fault-tolerant compilerβ69Jun 30, 2025Updated last year
- Writeup that goes along with this:β41Jan 18, 2018Updated 8 years ago
- Deep evaluation of data structures without NFDataβ10Jan 20, 2015Updated 11 years ago
- Strict Haskell-like programming language that compiles to LLVMβ71Oct 31, 2019Updated 6 years ago
- A curated list of PureScript packages for the Erlang backendβ10Jun 29, 2022Updated 4 years ago
- Applying LRGrep to OCaml frontendβ13May 20, 2026Updated 5 months ago