avikalpg / POPLLinks
This is a repository for assignments of the course Principles of Programming Languages
☆47Updated 9 years ago
Alternatives and similar repositories for POPL
Users that are interested in POPL are comparing it to the libraries listed below
Sorting:
- All the ML code examples from the book "The Little MLer"☆86Updated 15 years ago
- Code written while working through the book LISP in Small Pieces☆28Updated 11 years ago
- miniKanren for interactive tutorials on the web☆34Updated 4 months ago
- Strongtalk VM☆103Updated 4 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆127Updated 12 years ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- Jscheme (Scheme (in Java (by Peter Norvig)))☆52Updated 7 years ago
- GNU Smalltalk☆131Updated 8 years ago
- All the Scheme code examples from the book "The Seasoned Schemer"☆100Updated 6 years ago
- An implementation of Oz on top of Truffle and Graal☆42Updated 3 years ago
- Port of the 'MIT Scmutils' library to Chez Scheme.☆38Updated last year
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆16Updated 12 years ago
- Learning Object-Oriented Programming with Pharo☆70Updated last month
- Mickey Scheme is an interpreter for R7RS Scheme written in pure C++☆64Updated 8 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆74Updated 5 years ago
- Object-Oriented Reengineering Patterns☆36Updated 2 years ago
- stex: stex to latex and latex to html converters and associated tools☆91Updated last year
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 3 years ago
- ☆71Updated last week
- GNU Smalltalk☆176Updated last year
- Royal Scheme will eventually grow to be a real, usable, embeddable Scheme implemented in ANSI C.☆77Updated 12 years ago
- Implementation of Scheme programming language in assembly☆25Updated 7 years ago
- Exercism exercises in Racket.☆43Updated this week
- MMIX 2009 – a RISC computer for the third millennium☆43Updated last week
- All of the exercises (and their solutions!) from the Berkeley textbook Simply Scheme.☆116Updated 7 years ago
- Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX☆62Updated 8 years ago
- Unlikely Scheme: A small Scheme interpreter☆22Updated 14 years ago
- ☆124Updated last year
- Code from Chapter 10 & Appendix A, implementation, and Chapters 7 & 8, arithmetic☆138Updated 7 years ago