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.☆21May 13, 2025Updated 10 months ago
- A Forth implementation for the R216K8B Powder Toy computer.☆27May 24, 2024Updated last year
- C++ implementation of Raft core logic as a replication library☆10Mar 19, 2026Updated last week
- Specialized fuzzer for the Move compilers and the VM☆18Nov 13, 2025Updated 4 months ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A simple, easily embeddable pure-functional language with static typing and row polymorphism.☆10Jul 9, 2015Updated 10 years ago
- Efficient functorized iterators for OCaml.☆13Feb 23, 2018Updated 8 years ago
- ☆13Jan 7, 2026Updated 2 months ago
- 天有不测风云☆10Apr 2, 2019Updated 6 years ago
- A Haskell-embedded computer algebra system that knows nothing about algebra, at the core.☆17Mar 16, 2024Updated 2 years ago
- SecretFlow-Serving is a serving system for privacy-preserving machine learning models.☆15Jan 22, 2026Updated 2 months ago
- Parser combinators in Common Lisp☆23Mar 24, 2010Updated 16 years ago
- Yet another haskell term rewriting library☆18Aug 27, 2025Updated 6 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A compiler for the Tiger programming language targeting LLVM☆13Aug 10, 2025Updated 7 months ago
- Java implementation of the Louvain method of community detection in graphs☆11Dec 19, 2025Updated 3 months ago
- 📜Curriculum vitae☆10Dec 29, 2025Updated 2 months 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 8 years ago
- Tools for building, packaging, and OAP public cloud integrations such as AWS EMR, Google Dataproc and K8S.☆18Mar 27, 2024Updated 2 years ago
- A version-agnostic ghidra plugin for de-compiling Qualcomm Hexagon QDSP6☆29Mar 18, 2026Updated last week
- ☆11Aug 9, 2023Updated 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 4 years ago
- Transform .js files with GraphQL template literals into .graphql files☆14Dec 6, 2017Updated 8 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Code examples from Scott Wlaschin's book "Domain Modeling Made Functional" converted from F# to ReasonML.☆18Jul 12, 2023Updated 2 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 3 years ago
- Interpreter for C89 in Haskell☆10Nov 21, 2015Updated 10 years ago
- Broken links checker for website pages☆13Feb 11, 2018Updated 8 years ago
- Plush - the comfy shell☆67Aug 22, 2014Updated 11 years ago
- 基于nonebot2的twitter频道推送插件，由HanayoriBot修改☆10Feb 25, 2023Updated 3 years ago
- Hy on μKanren☆19Nov 26, 2015Updated 10 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- NordVPN Special Discount Offer • AdSave on top-rated NordVPN 1 or 2-year plans with secure browsing, privacy protection, and support for for all major platforms.
- A little Forth-like language implemented in Clojure☆22Mar 27, 2020Updated 5 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated last month
- Web interface to Amazon Redshift for exploring its data☆19Jun 15, 2016Updated 9 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆43Apr 12, 2013Updated 12 years ago
- Migrated to: https://codeberg.org/openculinary/knowledge-graph☆11Aug 21, 2025Updated 7 months ago
- golang generate document☆16Dec 11, 2021Updated 4 years ago
- Objective-C/Cocoa based State Machine Compiler☆54Mar 4, 2012Updated 14 years ago