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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.☆23Jun 4, 2026Updated 2 months ago
- A Forth implementation for the R216K8B Powder Toy computer.☆29May 24, 2024Updated 2 years ago
- C++ implementation of Raft core logic as a replication library☆10Updated this week
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 11 years ago
- 天有不测风云☆10Apr 2, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Parser combinators in Common Lisp☆23Mar 24, 2010Updated 16 years ago
- A standalone web server and template framework.☆15Updated this week
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- ☆13Jan 7, 2026Updated 7 months ago
- A compiler for the Tiger programming language targeting LLVM☆13Aug 10, 2025Updated last year
- Tools for building, packaging, and OAP public cloud integrations such as AWS EMR, Google Dataproc and K8S.☆18Mar 27, 2024Updated 2 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- Core Data Generator (CDG for short) is a framework for generation (using Sourcery) of Core Data entities from plain structs/classes/enums…☆20Aug 3, 2021Updated 5 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Transform .js files with GraphQL template literals into .graphql files☆14Dec 6, 2017Updated 8 years ago
- golang generate document☆16Dec 11, 2021Updated 4 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated last year
- ☆11Aug 9, 2023Updated 3 years ago
- A Javascript-only data library providing functionality like DataFrame in Pandas or R. (Currently in research phase - does this already ex…☆13Aug 4, 2017Updated 9 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- Migrated to: https://codeberg.org/openculinary/knowledge-graph☆11Aug 21, 2025Updated last year
- ☆12Nov 2, 2022Updated 3 years ago
- fun visualization scripts☆10Mar 1, 2026Updated 6 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 📜Curriculum vitae☆10Aug 19, 2026Updated 2 weeks ago
- Java implementation of the Louvain method of community detection in graphs☆12Dec 19, 2025Updated 8 months ago
- 基于nonebot2的twitter频道推送插件，由HanayoriBot修改☆10Feb 25, 2023Updated 3 years ago
- Hy on μKanren☆20Nov 26, 2015Updated 10 years ago
- Interpreter for C89 in Haskell☆10Nov 21, 2015Updated 10 years ago
- Haskell language features and standard libraries in pure Python.☆11Aug 23, 2018Updated 8 years ago
- Code examples from Scott Wlaschin's book "Domain Modeling Made Functional" converted from F# to ReasonML.☆18Jul 12, 2023Updated 3 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- The Zenon theorem prover☆16Jul 19, 2023Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- 个人仓库，存放玩具☆18May 25, 2022Updated 4 years ago
- My notes and solutions to exercises for EoPL3.☆15May 1, 2026Updated 4 months ago
- Broken links checker for website pages☆13Feb 11, 2018Updated 8 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago
- Templates for producing various amalgamations☆22May 5, 2013Updated 13 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 7 months ago