NLKNguyen / awesome-language-engineeringLinks
✨ A curated list of useful resources for computer language engineering and theory
☆263Updated 7 years ago
Alternatives and similar repositories for awesome-language-engineering
Users that are interested in awesome-language-engineering are comparing it to the libraries listed below
Sorting:
- My personal notes on various computer languages☆223Updated 4 years ago
- como-lang-ng is now ana-lang, located at https://github.com/analang/ana☆343Updated 5 years ago
- A Bestiary of Single-File Implementations of Programming Languages☆1,021Updated 2 months ago
- 🦑 Informal definitions of terms used in concurrency modeling☆331Updated 5 years ago
- Curated list of Prolog packages and resources☆538Updated 2 years ago
- A parser generator for visibly pushdown languages.☆791Updated 2 months ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆215Updated 6 years ago
- Ultra Tiny Compiler☆181Updated 6 years ago
- Interpreter for a simple Lisp. Written in Prolog.☆148Updated 2 years ago
- an incremental approach to compiler construction☆937Updated 5 years ago
- A graph of programming languages connected through compilers.☆177Updated 2 years ago
- Programming Languages Zoo☆1,503Updated last year
- Resources for learning and using recursion schemes.☆1,250Updated last year
- Yet Another Brainfuck Compiler; No dependencies and from the ground up☆276Updated 2 years ago
- A catalog of code worth reading☆112Updated 8 years ago
- Simple compiler frontend using LLVM as backend☆237Updated 6 years ago
- The Hindley Milner Type Inference Algorithm☆373Updated 8 years ago
- Functional language with intensional polymorphism and first-class staging.☆935Updated 2 weeks ago
- Advent of Code 2018, in Coq! (https://adventofcode.com/2018)☆140Updated 6 years ago
- Haskell Research Compiler☆819Updated 2 years ago
- A curated list of high-quality codebases to read and study. Read more code!☆382Updated 6 years ago
- A compiler for a lisp-like language targeting LLVM IR, x86 assembly☆131Updated 3 years ago
- A C version of the Let's Build a Compiler, by Jack Crenshaw☆203Updated 9 years ago
- Prolog Tutorials and Information☆171Updated 6 years ago
- A minimalist type-inferred programming language with procedural macro support☆136Updated 4 years ago
- Resources for type theory, functional programming, etc.☆320Updated 4 years ago
- A tiny *optimising* compiler for an imperative programming language written in haskell☆157Updated 5 years ago
- Statically typed functional programming language implementation with Go and LLVM☆758Updated 4 years ago
- Implementations of various type systems in OCaml.☆1,582Updated 9 years ago
- A Pascal to LLVM compiler in Haskell☆125Updated 5 years ago