Alternatives and similar repositories for Programming-Language-Meetups

Users that are interested in Programming-Language-Meetups are comparing it to the libraries listed below

• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated this week
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 3 years ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆136Updated 2 years ago
• codereport / plgraph
  ☆19Updated last year
• codereport / SICP-2020
  Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…
  ☆162Updated last year
• jfbastien / jit-talk
  ☆48Updated 4 years ago
• tekknolagi / ghuloum
  Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)
  ☆68Updated 3 weeks ago
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 6 months ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆28Updated 2 years ago
• codereport / 7L7W-2022
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.
  ☆15Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆28Updated 4 years ago
• codereport / FM2GP-2025
  Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming
  ☆26Updated 5 months ago
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆91Updated 3 months ago
• marianoguerra / mclulang
  McLulang: The message is the language
  ☆11Updated last year
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• mlochbaum / Singeli
  High-level interface for low-level programming
  ☆119Updated last month
• IUCompilerCourse / IU-Fall-2021
  Course web page for Fall 2021.
  ☆21Updated 3 years ago
• prathyvsh / history-of-logic
  A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.
  ☆57Updated 6 months ago
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• hellerve / microml
  A minimal ML, type-inferred, compiled, and/or interpreted in less than 750 lines
  ☆36Updated 5 years ago
• koka-lang / libmprompt
  Robust multi-prompt delimited control and effect handlers in C/C++
  ☆124Updated last year
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 8 months ago
• namin / metaprogramming
  Course on Metaprogramming
  ☆73Updated 2 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• codereport / Content
  Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.
  ☆221Updated this week
• eashanhatti / konna
  ☆16Updated 3 years ago
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆22Updated 2 years ago
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆31Updated 4 months ago
• mrnugget / scheme_x86
  Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"
  ☆74Updated 5 years ago