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:
- J Language Source Code. Livestream links ⬇️☆38Updated 3 years ago
- CMSC 430 Design and Implementation of Programming Languages☆52Updated 3 weeks ago
- ☆19Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆164Updated last year
- ☆48Updated 5 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆137Updated 3 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆70Updated last month
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆227Updated 2 weeks ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆29Updated 9 months ago
- Student-facing code from the book *Programming Languages: Build, Prove, and Compare* by Norman Ramsey☆31Updated 2 years ago
- A set of files that can be used to create a working version of an early version of the CLU programming language☆37Updated 3 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆15Updated 3 years ago
- XKCD 3062☆22Updated 9 months ago
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆59Updated 10 months ago
- A List of companies that use Array Languages (J, K, APL, q)☆100Updated last year
- My reading list☆84Updated 3 years ago
- Collapsing Towers of Interpreters☆93Updated 6 months ago
- Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.☆83Updated last year
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆29Updated 4 years ago
- SKI combinators☆56Updated 8 years ago
- A monthly reading club where we read and discuss papers, books, and other writings pertaining to little languages.☆48Updated 10 months ago
- Catalog of Visual Math Tools☆102Updated 3 years ago
- Prototypes: Object Orientation, Functionally☆49Updated this week
- A scrabble game that helps you train.☆14Updated this week
- ☆47Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 7 years ago
- Warren's Abstract Machine: A Tutorial Reconstruction by Hassan Ait-Kaci☆67Updated 5 years ago
- A Python interpreter for APL based off of the LSBASI series.☆16Updated 4 years ago
- Abstract krivine machine implementing call-by-name semantics. In OCaml.☆45Updated 7 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆34Updated 2 months ago