Alternatives and similar repositories for Programming-Language-Meetups

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

• codereport / 7L7W-2022
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.
  ☆15Updated 2 years ago
• codereport / jsource
  J Language Source Code. Livestream links ⬇️
  ☆38Updated 2 years ago
• nrnrnr / build-prove-compare-student-code
  Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey
  ☆26Updated 2 years ago
• dzaima / aoc
  My Advent of Code solutions
  ☆22Updated 6 months ago
• bynect / algorithm-w
  Type inference implementation in OCaml using Algorithm W
  ☆10Updated 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.
  ☆56Updated 4 months ago
• LesleyLai / learning
  A list of learning resources that I would like to refer back later or intent to study
  ☆21Updated last year
• dpiponi / SASL
  A simple and educational compiler for the SASL programming language
  ☆23Updated 7 years ago
• shriram / xkcd-3062
  XKCD 3062
  ☆22Updated 3 months ago
• codereport / CTfP-2021
  Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.
  ☆134Updated 2 years ago
• metareflection / poof
  Prototypes: Object Orientation, Functionally
  ☆46Updated this week
• TheClause / learn-prolog
  Bringing Prolog to the masses.
  ☆36Updated 3 years ago
• jsiek / featherweight-C
  Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine
  ☆26Updated 4 years ago
• cmsc430 / cmsc430.github.io
  CMSC 430 Design and Implementation of Programming Languages
  ☆51Updated 6 months ago
• codereport / plgraph
  ☆19Updated last year
• ngzhian / ski
  SKI combinators
  ☆55Updated 8 years ago
• BartoszMilewski / PolyLens
  Polynomial Lens
  ☆29Updated 2 years ago
• andrejbauer / mathematics-and-computation
  Andrej Bauer's blog "Mathematics and Computation"
  ☆52Updated last year
• vmchale / apple
  Apple array system
  ☆66Updated last week
• prathyvsh / Visual-Math-Tools
  Catalog of Visual Math Tools
  ☆98Updated 3 years ago
• codereport / FM2GP-2025
  Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming
  ☆25Updated 2 months ago
• codereport / top10
  A selection of 10 problems solved in different programming languages
  ☆26Updated 5 months ago
• ptarau / TypesAndProofs
  Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems
  ☆33Updated last year
• MITDDC / clu-1976-1989
  A set of files that can be used to create a working version of an early version of the CLU programming language
  ☆36Updated 2 years ago
• brownplt / B2T2
  The Brown Benchmark for Table Types (B2T2)
  ☆64Updated last year
• rodrigogiraoserrao / RGSPL
  A Python interpreter for APL based off of the LSBASI series.
  ☆16Updated 4 years ago
• Wodan58 / joy1
  Manfred von Thun's Programming Language Joy
  ☆16Updated 5 months ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• ashermancinelli / cxbqn
  BQN virtual machine
  ☆31Updated last year
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆22Updated 2 weeks ago