codereport / Programming-Language-MeetupsLinks
☆20Updated 4 years ago
Alternatives and similar repositories for Programming-Language-Meetups
Users that are interested in Programming-Language-Meetups are comparing it to the libraries listed below
Sorting:
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 2 weeks ago
- ☆19Updated last year
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆163Updated last year
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆15Updated 3 years ago
- A list of learning resources that I would like to refer back later or intent to study☆21Updated last year
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆58Updated 8 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆27Updated 7 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆32Updated 2 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆69Updated last week
- ☆48Updated 5 years ago
- XKCD 3062☆22Updated 8 months ago
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆226Updated last month
- Hindley–Milner Type inferencing in C☆48Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.☆83Updated last year
- Polynomial Lens☆29Updated 2 years ago
- ☆89Updated 4 years ago
- Mystery Languages☆41Updated 2 years ago
- The syllabus from 15-819, the PhD seminar I taught on domain-specific programming languages fall 2016.☆216Updated 6 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆19Updated 4 years ago
- Effect handlers in C++☆123Updated 2 years ago
- The WIP book for CPSC 411☆66Updated 4 months ago
- My personal website☆102Updated this week
- My Advent of Code solutions☆22Updated last week
- C++ Implementations of programming languages and type systems studied in "Types and Programming Languages" by Benjamin C. Pierce..☆34Updated 5 years ago