codereport / Programming-Language-Meetups
☆19Updated 3 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
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆15Updated 2 years ago
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- CMSC 430 Design and Implementation of Programming Languages☆48Updated last month
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆131Updated 2 years ago
- ☆19Updated last year
- Polynomial Lens☆29Updated 2 years ago
- ☆47Updated 4 years ago
- High-level interface for low-level programming☆104Updated last month
- A repo that keeps track of the history of logic. It chronicles the eminent personalities, schools of thought, ideas of each epoch.☆55Updated 2 years ago
- My Advent of Code solutions☆22Updated 3 weeks ago
- A list of learning resources that I would like to refer back later or intent to study☆21Updated 10 months ago
- sandbox for my c++ functional programming experiments☆34Updated 11 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆159Updated 7 months ago
- 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
- The Brown Benchmark for Table Types (B2T2)☆62Updated 7 months ago
- Tutorial for the CHR system☆16Updated 3 years ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- A selection of 10 problems solved in different programming languages☆25Updated 5 months ago
- SKI combinators☆51Updated 7 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- Source code for the "C Unleashed" book by Richard Heathfield, Lawrence Kirby, et al.☆69Updated 3 years ago
- Following [An Incremental Approach to Compiler Construction](http://scheme2006.cs.uchicago.edu/11-ghuloum.pdf)☆61Updated 3 years ago
- Spring 2017 slides and homework for CMU's 15-316: Software Foundations of Security and Privacy.☆22Updated 7 years ago
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- Visual environment for manipulation the lambda calculus expressions☆19Updated last year
- MimIR is my Intermediate Representation☆51Updated this week
- Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"☆64Updated 3 years ago
- A simple and educational compiler for the SASL programming language☆23Updated 6 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆29Updated 3 years ago