rubenbarroso / EOPLView external linksLinks
My solutions to the exercises in the book Essentials of Programming Languages, 2nd Edition.
☆28Sep 15, 2011Updated 14 years ago
Alternatives and similar repositories for EOPL
Users that are interested in EOPL are comparing it to the libraries listed below
Sorting:
- Shen KLambda to KLVM translator.☆31Jan 4, 2016Updated 10 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 10 years ago
- Python interpreter for Peter Landin's SECD abstract machine.☆42Apr 12, 2013Updated 12 years ago
- hmm-filter: Improve classifier predictions for sequential data with Hidden Markov Models (HMMs)☆12Jan 23, 2019Updated 7 years ago
- Solutions to Modern Compiler Implementation in ML 🐯☆10May 24, 2017Updated 8 years ago
- tiger compiler☆10May 6, 2018Updated 7 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆36Jan 8, 2017Updated 9 years ago
- A small Lisp implementation in Go☆10Jan 27, 2022Updated 4 years ago
- Simple Modbus Library for Arduino☆10Jun 29, 2015Updated 10 years ago
- some old code about scheme compiler I've ever wrote☆14Jun 21, 2025Updated 7 months ago
- Coq & Haskell code for Calculating Correct Compilers II☆12Feb 22, 2022Updated 3 years ago
- Bro is a powerful network analysis framework that is much different from the typical IDS you may know. Official mirror of git.bro.org/br…☆10Aug 16, 2014Updated 11 years ago
- Implementation of 9P parser and message writer.☆15Aug 15, 2021Updated 4 years ago
- Proposition for modernizing the OCaml API from the official manual☆10Apr 1, 2023Updated 2 years ago
- An implementation of Dijkstra in Clojure☆19Aug 7, 2012Updated 13 years ago
- Packages the canonical miniKanren implementation for CHICKEN Scheme (http://call-cc.org)☆11Dec 30, 2025Updated last month
- OCaml Serial Module☆11Oct 5, 2024Updated last year
- Supporting code for my PyCon 2014 presentation: https://us.pycon.org/2014/schedule/presentation/218/☆24Apr 11, 2014Updated 11 years ago
- Measure web page performance metrics with ease.☆12Nov 2, 2018Updated 7 years ago
- Prove formulas of Presburger Arithmetic☆11Oct 5, 2024Updated last year
- Retail is sth like linux command tail, and support "retail" which means one can tail a file use a pos file which saves the last read posi…☆12Jun 26, 2013Updated 12 years ago
- The (very) small kernel of the LaTTe proof assistant☆12Mar 13, 2025Updated 11 months ago
- Lazy load multiple vanilla custom-element micro-frontend (MFEs) applications within a shell/host application using the Module Federation …☆11Oct 5, 2020Updated 5 years ago
- Inspired by lisp500, lisp800 is a small embeddable dialect by lisp500 with the emphasis on embeddability☆20Jun 24, 2013Updated 12 years ago
- Broken links checker for website pages☆13Feb 11, 2018Updated 8 years ago
- data-metrics is a data-attribute that allows you to easily track Google Analytics metrics in your HTML page.☆31Feb 25, 2014Updated 11 years ago
- Contributions to BinProlog. See https://code.google.com/p/binprolog/☆10Aug 16, 2013Updated 12 years ago
- Prolog list utility predicates☆11Jul 19, 2018Updated 7 years ago
- Category Theory in Agda☆13Jan 16, 2018Updated 8 years ago
- A complete Scheme R5RS implementation, designed to be embedded in to C and C++ applications.☆17Feb 21, 2015Updated 10 years ago
- How hard can it be?☆11May 4, 2018Updated 7 years ago
- ☆13Jun 25, 2015Updated 10 years ago
- Pfc: adding forward chaining and truth maintenance to Prolog☆11Jan 25, 2024Updated 2 years ago
- A C++ library for working with OWL2 ontologies.☆12Jan 26, 2016Updated 10 years ago
- pmt☆15Sep 17, 2025Updated 4 months ago
- Rule-based Intelligent Tutoring System☆11Mar 28, 2015Updated 10 years ago
- ☆15Mar 18, 2012Updated 13 years ago
- Home of experimental plugins for GAMA☆15Feb 5, 2026Updated last week
- This is a boilerplate example of how to write c++ code and translate it using emscripten into javascript. Then using a typescript declara…☆16Sep 1, 2024Updated last year