Implementation of the languages from the EOPL textbook in Haskell and Standard ML.
☆15Dec 22, 2019Updated 6 years ago
Alternatives and similar repositories for eopl
Users that are interested in eopl are comparing it to the libraries listed below
Sorting:
- Templates for producing various amalgamations☆22May 5, 2013Updated 12 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆21May 13, 2025Updated 9 months ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Javascript implementation of Scheme's numeric tower☆30Mar 6, 2013Updated 13 years ago
- A Forth implementation for the R216K8B Powder Toy computer.☆27May 24, 2024Updated last year
- A set of tools that make working with the Scala ecosystem even better.☆12Updated this week
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- A Tour of Standard ML (in the style of A Tour of Go)☆59Jul 4, 2021Updated 4 years ago
- ICD - Interface Control Document Management☆13Sep 7, 2025Updated 5 months ago
- In-memory OLAP SQL server for object storage data.☆14Oct 15, 2025Updated 4 months ago
- A statically typed Lisp dialect with algebraic effect system compiling to Javascript☆41Jan 27, 2026Updated last month
- ☆13Feb 27, 2026Updated last week
- Language mixing functional programming and Ambient Calculus☆12Dec 10, 2024Updated last year
- ☆10Jun 9, 2016Updated 9 years ago
- ☆19Jan 15, 2026Updated last month
- PAKCS: The Portland Aachen Kiel Curry system☆14Feb 22, 2026Updated last week
- Scheme on SECD☆43Feb 9, 2021Updated 5 years ago
- A demo showing some of what is possible with OpenTelemetry and the Typelevel stack☆10May 18, 2024Updated last year
- newtype and refinement (refined) type for Scala 3☆14Updated this week
- Umbrella repository for the Jamoma platform☆32Nov 24, 2015Updated 10 years ago
- A RESTful unobtrusive jQuery Inplace-Editor and a helper as a Rails Gem http://blog.bernatfarrero.com/in-place-editing-with-javascript-jq…☆18Jul 23, 2013Updated 12 years ago
- Some useful tools for mesh processing☆11Sep 9, 2025Updated 5 months ago
- Java implementation of the Louvain method of community detection in graphs☆11Dec 19, 2025Updated 2 months ago
- ☆10Feb 25, 2026Updated last week
- Small simple projects using zetes library☆35Jul 25, 2015Updated 10 years ago
- Zipped source code reading app for Android☆12May 17, 2019Updated 6 years ago
- A Chef cookbook to manage automatic startup of homebrew formulas.☆17Feb 27, 2016Updated 10 years ago
- ☆13Sep 9, 2016Updated 9 years ago
- Convert case classes to form data automatically (e.g., for Stripe API)☆12Dec 13, 2024Updated last year
- A version-agnostic ghidra plugin for de-compiling Qualcomm Hexagon QDSP6☆28Feb 26, 2026Updated last week
- ☆20Jan 31, 2026Updated last month
- Use 'Browser - Cloud' in ArmorPaint instead.☆10Apr 5, 2021Updated 4 years ago
- ☆12Nov 2, 2024Updated last year
- gamepad support for openframeworks 007☆22Sep 4, 2021Updated 4 years ago
- A small framework for web apps using http4s+tapir+laminar. Currently for personal use but may grow into a thing later down the line.☆11Feb 4, 2026Updated last month
- A React component for FastComments☆10Jan 13, 2025Updated last year
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Web interface to Amazon Redshift for exploring its data☆19Jun 15, 2016Updated 9 years ago