siraben / eoplLinks
Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
☆15Updated 6 years ago
Alternatives and similar repositories for eopl
Users that are interested in eopl are comparing it to the libraries listed below
Sorting:
- Typed Racket data structure libraries☆59Updated 4 years ago
- Single-spaced version of my dissertation, 'Relational Programming in miniKanren: Techniques, Applications, and Implementations'☆60Updated 7 years ago
- ☆49Updated last month
- ☆31Updated 2 years ago
- Constraint programming language embedded in Racket☆154Updated 4 years ago
- a minimal implementation of incremental computation in Scheme☆36Updated 8 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Updated last year
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Updated 13 years ago
- General Parser Combinators in Racket☆193Updated 9 years ago
- A Java implementation of the Shen programming language☆28Updated 6 years ago
- A BASIC-flavored Lisp dialect☆72Updated 2 years ago
- Bindings for llvm in racket☆66Updated 10 years ago
- Oleg Kiselyov's minimal implementation of logic programming☆24Updated 12 years ago
- ICFP 2017 Artifact for Functional Pearl: A Unified Approach to Solving Seven Programming Problems☆29Updated 7 years ago
- Summaries of intro and advanced miniKanren hangout series☆28Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21Updated 7 months ago
- Demonstration of implementing a language in Racket☆58Updated 11 years ago
- A compiler for the gradually typed lambda calculus☆76Updated 4 years ago
- Code, wiki, and resources for the weekly miniKanren uncourse☆52Updated 10 years ago
- A SuperCompiler for Martin-Löf's Type Theory☆123Updated 3 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- Frege REPL☆79Updated 6 years ago
- Algebraic structures for untyped Racket☆78Updated last year
- multi-stage relational programming for staged relational interpreters: running with holes, faster☆139Updated last month
- minikanren mips assembler/disassembler☆33Updated 10 years ago
- Topics in Programming Languages: Denotational Semantics, Spring 2018 Course at Indiana University☆74Updated 7 years ago
- A functional programming language based on Standard ML, extended with support for concurrent, distributed, and constraint programming☆221Updated 3 years ago
- Racket port of the nanopass-framework☆34Updated 4 years ago
- Generic graph library and algorithms for Racket.☆59Updated 2 years ago
- ☆71Updated 5 years ago