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.☆135Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆160Updated last year
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- 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
- CMSC 430 Design and Implementation of Programming Languages☆51Updated 7 months ago
- ☆19Updated last year
- Catalog of Visual Math Tools☆98Updated 3 years ago
- Polynomial Lens☆29Updated 2 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆64Updated this week
- XKCD 3062☆22Updated 4 months ago
- Prototypes: Object Orientation, Functionally☆46Updated 2 weeks ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆25Updated 3 months ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆27Updated 4 years ago
- Visual environment for manipulation the lambda calculus expressions☆25Updated last year
- Links, slide decks and other material for conference & meetup talks, podcast appearances and publications.☆221Updated 2 months ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆15Updated 3 years ago
- High-level interface for low-level programming☆116Updated this week
- Bringing Prolog to the masses.☆36Updated 3 years ago
- SKI combinators☆55Updated 8 years ago
- Course notes for Alexander Stepanov's teachings on design and usage of C++ STL.☆81Updated last year
- Andrej Bauer's blog "Mathematics and Computation"☆52Updated last year
- 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
- ☆48Updated 4 years ago
- Type inference algorithms and intuitionistic propositional theorem provers solving type inhabitation problems☆33Updated last year
- Mystery Languages☆38Updated last year
- My reading list☆83Updated 3 years ago
- A formalization of first-order logic and Peano's axioms in Python☆20Updated 3 weeks ago
- A visual catalogue + story of morphisms displayed across computational structures.☆125Updated 3 years ago
- A notional machine for the SMoL languages☆21Updated last year
- Collapsing Towers of Interpreters☆91Updated 3 weeks ago