avikalpg / POPL
This is a repository for assignments of the course Principles of Programming Languages
☆44Updated 9 years ago
Related projects ⓘ
Alternatives and complementary repositories for POPL
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- All code examples from "The Little Prover" book☆23Updated 9 years ago
- Code written while working through the book LISP in Small Pieces☆27Updated 10 years ago
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Updated 12 years ago
- Solutions for SICP☆13Updated 6 years ago
- ☆37Updated 2 weeks ago
- A Lisp-like language implemented in C++☆74Updated last year
- Implementation of the languages from the EOPL textbook in Haskell and Standard ML.☆15Updated 4 years ago
- ☆41Updated 8 years ago
- Implementations of the compilers and VMs from R. Kent Dybvig's "Three Implementation Models for Scheme." Each file is named after the se…☆21Updated 14 years ago
- Tiger Compiler from Modern Compiler Implementation in ML☆24Updated 7 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 12 years ago
- miniKanren for interactive tutorials on the web☆33Updated 7 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆40Updated 7 years ago
- A Scheme to x86-64 compiler in Scheme☆78Updated 9 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆126Updated 11 years ago
- The compiler for subset of scheme developed as part of P523☆30Updated 7 years ago
- The implementation of R6RS Scheme Programming Language for real-time applications. (Forked from GoogleCode)☆22Updated 2 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆28Updated 6 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- Modern Compiler Implementation in ML☆11Updated 7 years ago
- ☆67Updated last week
- Nanopass scheme compiler in scheme for x86☆68Updated 7 years ago
- Second Interpreter of Scheme Code [unofficial maintenance fork]☆27Updated 5 years ago
- Simple miniKanren, with only ==, fresh, and conde. A good starting point for exploratory hacking.☆42Updated last year
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆29Updated 10 years ago
- ☆85Updated 3 years ago
- The MLtonLibrary repository☆34Updated last year
- Examples and exercises for the OCaml Book "OCaml from the Very Beginning"☆34Updated 2 years ago