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 4 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☆11Sep 28, 2026Updated last month
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- 天有不测风云☆10Apr 2, 2019Updated 7 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 standalone web server and template framework.☆15Aug 29, 2026Updated 2 months ago
- A compiler for the Tiger programming language targeting LLVM☆13Aug 10, 2025Updated last year
- Efficient functorized iterators for OCaml.☆14Feb 23, 2018Updated 8 years ago
- A straightforward state machine in Obj-C.☆12Jul 26, 2014Updated 12 years ago
- ☆12Mar 2, 2026Updated 8 months ago
- ☆13Jan 7, 2026Updated 9 months ago
- golang generate document☆16Dec 11, 2021Updated 4 years ago
- ☆16Jan 23, 2022Updated 4 years ago
- ☆11Aug 9, 2023Updated 3 years 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.
- Migrated to: https://codeberg.org/openculinary/knowledge-graph☆11Aug 21, 2025Updated last year
- Hy on μKanren☆20Nov 26, 2015Updated 10 years ago
- Example application showing snap, heist, authentication and digestive functors working together☆10Jun 17, 2012Updated 14 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
- Interpreter for C89 in Haskell☆10Nov 21, 2015Updated 10 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
- Transform .js files with GraphQL template literals into .graphql files☆14Dec 6, 2017Updated 8 years ago
- Tool to dump hexagon code from Qualcomm DSP firmware☆14Jun 2, 2013Updated 13 years ago
- ☆12Nov 2, 2022Updated 4 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- A research project concerned with implementing Joern for analysis of binaries.☆13Sep 2, 2015Updated 11 years ago
- 📜Curriculum vitae☆10Aug 19, 2026Updated 2 months ago
- 个人仓库，存放玩具☆18May 25, 2022Updated 4 years ago
- A newborn programming language for extensible software☆16Dec 24, 2021Updated 4 years ago
- Parser combinators in Common Lisp☆23Mar 24, 2010Updated 16 years ago
- 基于nonebot2的twitter频道推送插件，由HanayoriBot修改☆10Feb 25, 2023Updated 3 years ago
- Java implementation of the Louvain method of community detection in graphs☆14Dec 19, 2025Updated 10 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 9 years ago
- A Tiger-compiler implementation in OCaml☆11Sep 29, 2022Updated 4 years 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.
- A small collection of AWS utilities, packaged as a single standalone binary.☆13Aug 23, 2023Updated 3 years ago
- My notes and solutions to exercises for EoPL3.☆15May 1, 2026Updated 6 months ago
- Experimental microservices toolkit☆10May 9, 2014Updated 12 years ago
- ☆16Jan 15, 2018Updated 8 years ago
- Specialized fuzzer for the Move compilers and the VM☆18Nov 13, 2025Updated 11 months ago
- ☆12Dec 18, 2020Updated 5 years ago
- A generic Haskell library for expressing rewrite rules with safe treatment of variables and binders☆12Jan 31, 2026Updated 9 months ago