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 11 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☆10Updated this week
- Specialized fuzzer for the Move compilers and the VM☆18Nov 13, 2025Updated 5 months ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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 3 months ago
- 天有不测风云☆10Apr 2, 2019Updated 7 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.☆16Jan 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 7 months ago
- ☆12Nov 2, 2022Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A compiler for the Tiger programming language targeting LLVM☆13Aug 10, 2025Updated 8 months ago
- Java implementation of the Louvain method of community detection in graphs☆11Dec 19, 2025Updated 3 months ago
- 📜Curriculum vitae☆10Mar 20, 2026Updated 3 weeks 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 3 weeks ago
- ☆12Aug 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
- Wordpress hosting with auto-scaling - Free Trial • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- 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
- Hy on μKanren☆20Nov 26, 2015Updated 10 years ago
- 基于nonebot2的twitter频道推送插件，由HanayoriBot修改☆10Feb 25, 2023Updated 3 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- A little Forth-like language implemented in Clojure☆22Mar 27, 2020Updated 6 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 2 months ago
- Web interface to Amazon Redshift for exploring its data☆19Jun 15, 2016Updated 9 years ago
- Migrated to: https://codeberg.org/openculinary/knowledge-graph☆11Aug 21, 2025Updated 7 months ago
- Python interpreter for Peter Landin's SECD abstract machine.☆43Apr 12, 2013Updated 13 years ago
- golang generate document☆16Dec 11, 2021Updated 4 years ago
- A micro-kernel operating system based on the Barrelfish CPU-driver.☆21Mar 6, 2018Updated 8 years ago