avikalpg / POPL
This is a repository for assignments of the course Principles of Programming Languages
☆44Updated 8 years ago
Related projects: ⓘ
- All the ML code examples from the book "The Little MLer"☆86Updated 14 years ago
- All code examples from "The Little Prover" book☆23Updated 8 years ago
- Code written while working through the book LISP in Small Pieces☆27Updated 10 years ago
- ☆41Updated 8 years ago
- Examples and exercises for the OCaml Book "OCaml from the Very Beginning"☆34Updated 2 years ago
- Strongtalk VM☆100Updated 2 years ago
- Code from Dan Friedman's "B621" class, usually referred to as "advanced dan"☆13Updated 11 years ago
- MLWorks is a Standard ML compiler and development environment.☆179Updated 6 years ago
- My Own Linear Lisp☆36Updated 6 years ago
- A Lisp-like language implemented in C++☆74Updated last year
- ☆13Updated 3 years ago
- A Java implementation of the Shen programming language☆28Updated 5 years ago
- An outdated miniKanren implementation with a not-pairo constraint☆30Updated 10 years ago
- Code from 'The Reasoned Schemer' (MIT Press, 2005) by Daniel P. Friedman, William E. Byrd and Oleg Kiselyov.☆125Updated 11 years ago
- Writing a Scheme to x86 compiler by following Abdulaziz Ghuloum's "An Incremental Approach to Compiler Construction"☆71Updated 4 years ago
- A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.☆35Updated 2 years ago
- Second Interpreter of Scheme Code [unofficial maintenance fork]☆27Updated 5 years ago
- some old code about scheme compiler I've ever wrote☆14Updated last year
- Incremental Compiler paper by Abdulaziz Ghuloum, using Chez scheme, Nasm, x86_64 for OSX☆53Updated 7 years ago
- Data Structure Optimization for Functional Programs☆33Updated 5 years ago
- Let's Build a Compiler - An educational compiler built from scratch in F#, inspired by Jack Crenshaw's 1988 Pascal code☆49Updated 10 years ago
- ☆67Updated last week
- Scheme code snippets from the book "The Seasoned Schemer", by Daniel P. Friedman and Matthias Felleisen.☆13Updated 12 years ago
- MiniPascal implemented in Racket☆88Updated 2 years ago
- Demonstration of implementing a language in Racket☆58Updated 10 years ago
- MIT Scheme's Edwin Editor written on top of Scheme48 and SCSH☆40Updated 7 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 11 years ago
- This package implements genereric syntax for working with monads in R6RS scheme.☆27Updated 6 years ago
- a Java VM implemented in Forth☆39Updated 12 years ago
- All the logic programming code examples from the book "The Reasoned Schemer"☆50Updated 14 years ago