Alternatives and similar repositories for awesome-language-engineering:

Users that are interested in awesome-language-engineering are comparing it to the libraries listed below

• prakhar1989 / type-inference
  The Hindley Milner Type Inference Algorithm
  ☆368Updated 8 years ago
• ianh / owl
  A parser generator for visibly pushdown languages.
  ☆793Updated last month
• Lysxia / advent-of-coq-2018
  Advent of Code 2018, in Coq! (https://adventofcode.com/2018)
  ☆140Updated 6 years ago
• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆214Updated 5 years ago
• tomprimozic / type-systems
  Implementations of various type systems in OCaml.
  ☆1,574Updated 9 years ago
• klaudiosinani / awesome-prolog
  Curated list of Prolog packages and resources
  ☆533Updated 2 years ago
• triska / lisprolog
  Interpreter for a simple Lisp. Written in Prolog.
  ☆147Updated 2 years ago
• slikts / concurrency-glossary
  🦑 Informal definitions of terms used in concurrency modeling
  ☆327Updated 4 years ago
• marcpaq / b1fipl
  A Bestiary of Single-File Implementations of Programming Languages
  ☆1,012Updated 2 weeks ago
• passy / awesome-recursion-schemes
  Resources for learning and using recursion schemes.
  ☆1,243Updated last year
• KeliLanguage / compiler
  The compiler for Keli
  ☆173Updated 5 years ago
• topshell-language / topshell
  TopShell - a purely functional, reactive scripting language
  ☆479Updated 3 years ago
• mirth-lang / mirth
  Compiler for the Mirth programming language.
  ☆463Updated last week
• runabol / sicp-course
  SICP Course
  ☆228Updated 4 years ago
• melling / ComputerLanguages
  My personal notes on various computer languages
  ☆223Updated 4 years ago
• komu / ahwen
  A simple SQL database
  ☆69Updated 5 months ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• joaomilho / awesome-idris
  𝛌 Awesome Idris resources
  ☆403Updated 5 years ago
• IntelLabs / flrc
  Haskell Research Compiler
  ☆819Updated 2 years ago
• pel-daniel / mind-bicycles
  List of future of programming projects
  ☆360Updated 10 months ago
• sam46 / Paskell
  A Pascal to LLVM compiler in Haskell
  ☆126Updated 5 years ago
• rgleichman / glance
  A visual Haskell
  ☆724Updated 3 years ago
• eatonphil / ulisp
  A compiler for a lisp-like language targeting LLVM IR, x86 assembly
  ☆131Updated 3 years ago
• rhysd / gocaml
  Statically typed functional programming language implementation with Go and LLVM
  ☆754Updated 4 years ago
• bollu / tiny-optimising-compiler
  A tiny *optimising* compiler for an imperative programming language written in haskell
  ☆157Updated 5 years ago
• evincarofautumn / kitten
  A statically typed concatenative systems programming language.
  ☆1,120Updated 2 years ago
• antonmedv / ultra-tiny-compiler
  Ultra Tiny Compiler
  ☆181Updated 6 years ago
• jwbuurlage / category-theory-programmers
  Category theory in the context of (functional) programming
  ☆522Updated 7 years ago
• jaybutera / Abstract-Algebra
  A course-worth of notes
  ☆202Updated 10 months ago
• andrejbauer / plzoo
  Programming Languages Zoo
  ☆1,493Updated 10 months ago