Alternatives and similar repositories for learn-programming-languages

Users that are interested in learn-programming-languages are comparing it to the libraries listed below

• jeanqasaur / dsl-syllabus-fall-2016
  The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.
  ☆216Updated 6 years ago
• jeanqasaur / pltalk
  Schedule for the #PLTalk livestream. On Twitch here: https://www.twitch.tv/jeanqasaur
  ☆219Updated 2 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
• thma / WhyHaskellMatters
  In this article I try to explain why Haskell keeps being such an important language by presenting some of its most important and distingu…
  ☆479Updated last year
• aprell / compiler-potpourri
  Tools for a compilers course
  ☆126Updated last month
• keleshev / compiling-to-assembly-from-scratch
  Source code for the book Compiling to Assembly from Scratch https://keleshev.com/cas
  ☆335Updated 4 months ago
• err0r500 / foundational-knowledge-for-programmers
  List of resources about foundational knowledge for programmers (supposed to last a few decades)
  ☆171Updated 4 years ago
• williamdemeo / TypeFunc
  Resources for type theory, functional programming, etc.
  ☆320Updated 4 years ago
• LeifAndersen / PLGradSchools
  ☆233Updated last year
• stepchowfun / proofs
  My personal repository of formally verified mathematics.
  ☆306Updated 2 weeks ago
• awesomo4000 / awesome-provable
  A curated set of links to formal methods involving provable code.
  ☆212Updated 3 years ago
• prathyvsh / category-theory-resources
  Resources for learning Category Theory for an enthusiast
  ☆637Updated 2 years ago
• DSLsofMath / DSLsofMath
  Domain-Specific Languages of Mathematics
  ☆442Updated 3 weeks ago
• andrejbauer / spartan-type-theory
  Spartan type theory
  ☆271Updated this week
• mavam / abstract-algebra-cheatsheet
  A visualization of key structures in abstract algebra.
  ☆156Updated 5 years ago
• ocaml-multicore / parallel-programming-in-multicore-ocaml
  Tutorial on Multicore OCaml parallel programming with domainslib
  ☆291Updated last year
• slovnicki / pLam
  An interpreter for learning and exploring pure λ-calculus
  ☆466Updated 4 years ago
• awalterschulze / learning
  A list of videos, playlists, blog posts, papers, books, etc. that I have learned from and still intend to learn from.
  ☆166Updated 7 months ago
• statebox / awesome-applied-ct
  ACT community resources
  ☆469Updated 5 years ago
• andrejbauer / homotopy-type-theory-course
  A course on homotopy theory and type theory, taught jointly with Jaka Smrekar
  ☆306Updated last year
• ligurio / practical-fm
  A gently curated list of companies using verification formal methods in industry
  ☆568Updated 7 months ago
• EgbertRijke / HoTT-Intro
  An introductory course to Homotopy Type Theory
  ☆372Updated 5 years ago
• functionalCS / curriculum
  A Modern CompSci Curriculum
  ☆301Updated last month
• bollu / notes
  Latex notes on papers, courses, ideas: Pure math and computer science.
  ☆61Updated 2 years ago
• jeanqasaur / women-in-programming-languages-research
  Women in Programming Languages and Software Engineering Research
  ☆173Updated 9 months ago
• soupi / rfc
  My slides and compilation of resources.
  ☆155Updated last year
• mgaudet / CompilerJobs
  A listing of compiler, language and runtime teams for people looking for jobs in this area
  ☆647Updated this week
• blanchette / logical_verification_2020
  Companion files for Logical Verification 2020–2021 at VU Amsterdam
  ☆96Updated 4 years ago
• raviksharma / bartosz-basics-of-haskell
  Code and exercises from Bartosz Milewski's Basics of Haskell Tutorial
  ☆487Updated 4 years ago
• xieyuheng / study
  Study of language design and implementation.
  ☆67Updated 5 years ago