codereport / Programming-Language-Meetups
☆19Updated 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
- J Language Source Code. Livestream links ⬇️☆38Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Seven Languages in Seven Weeks book.☆15Updated 2 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of the Category Theory for Programmers book.☆133Updated 2 years ago
- A C++ algorithm library that extends the C++ standard algorithms found in <algorithm> & <numeric>☆22Updated 3 years ago
- Polynomial Lens☆29Updated 2 years ago
- ☆19Updated last year
- Catalog of Visual Math Tools☆95Updated 3 years ago
- A list of learning resources that I would like to refer back later or intent to study☆21Updated last year
- A selection of 10 problems solved in different programming languages☆26Updated 2 months ago
- sandbox for my c++ functional programming experiments☆33Updated 11 years ago
- A small C++17 library inspired by Category Theory.☆16Updated 2 years ago
- Featherweight C, Executable Semantics: Parser, Type Checker, and Abstract Machine☆26Updated 4 years ago
- Terminating is exciting☆22Updated 8 years ago
- cppcast podcast website☆21Updated 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.☆55Updated 2 months ago
- My Advent of Code solutions☆22Updated 4 months ago
- CMSC 430 Design and Implementation of Programming Languages☆50Updated 4 months ago
- A Gallina compiler with C++17 as an intermediate representation☆43Updated 4 years ago
- Repository for material related to the Programming Languages Virtual Meetup coverage of From Mathematics to Generic Programming☆24Updated 3 weeks ago
- Guide elucidating Lambda Calculus☆16Updated 3 years ago
- Andrej Bauer's blog "Mathematics and Computation"☆51Updated last year
- 🐺 Husky is a lazy functional language similar to Haskell, but with a more conventional syntax☆14Updated 4 years ago
- XKCD 3062☆22Updated last month
- This repository is a very simple C++ modules example.☆23Updated 2 years ago
- Repository for material related to Programming Languages Virtual Meetup coverage of the Structure and Interpretation of Computer Programs…☆158Updated 10 months ago
- C implementation of C++ Utility functions https://en.cppreference.com/w/cpp/utility/intcmp☆18Updated 2 years ago
- Spatial layout specifications for memory management systems.☆19Updated 4 years ago
- ☆48Updated 4 years 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
- High-level interface for low-level programming☆112Updated last week