A minimal interpreter for the toy language, IMP, used as an example for building interpreters.
☆13Dec 28, 2016Updated 9 years ago
Alternatives and similar repositories for imp-interpreter
Users that are interested in imp-interpreter are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Resources for Learning PLT Redex☆13Jul 24, 2021Updated 5 years ago
- Simple Camera for Android.☆20Sep 2, 2025Updated 11 months ago
- All source code for the QuAC tool proposed in the OOPSLA 2024 paper "QuAC: Quick Attribute-Centric Type Inference for Python." NOTE: This…☆12Oct 3, 2024Updated last year
- An easy to use parser library for Python, based on the TopDown parsing algorithm.☆10Nov 15, 2013Updated 12 years ago
- A compact, dependency-free LL(1) parser toolkit for Python.☆10Apr 18, 2026Updated 3 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A compiler for x86-64 with an SLR parser.☆11Dec 21, 2023Updated 2 years ago
- Desktop shortcuts (.desktop) create a risk for code execution via social engineering☆11Feb 6, 2017Updated 9 years ago
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- ☆18Aug 9, 2025Updated last year
- ☆16Apr 9, 2020Updated 6 years ago
- Compile a python3 subset into MIPS used by programable chips in stationeers☆14Mar 11, 2021Updated 5 years ago
- Elm lang tools in a docker container☆26Nov 20, 2019Updated 6 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 12 years ago
- TTF to WOFF conversion reference code☆24Feb 24, 2019Updated 7 years ago
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- 🌈 🐴 Turn your terminal text into an absolutely beautiful display of dazzling colors....☆19Oct 13, 2017Updated 8 years ago
- Forth package manager for theForthNet☆14Apr 4, 2018Updated 8 years ago
- An experimental formalization of Knot Theory in Agda, with specific attention paid to Legendrian Knot Theory☆15Oct 15, 2018Updated 7 years ago
- ☆10Nov 14, 2018Updated 7 years ago
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 3 years ago
- Ideas, documents, and tutorial pile for the Prowl Language☆12Aug 2, 2024Updated 2 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 9 months ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 4 years ago
- VM stack-based programming language☆10Jul 21, 2020Updated 6 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- ☆17Mar 10, 2019Updated 7 years ago
- Bare essentials for building abstract syntax trees, and skeleton classes for PLY lexers and parsers.☆18Jun 4, 2025Updated last year
- Assembler and disassembler for compiled Python☆21Dec 12, 2020Updated 5 years ago
- This is an implementation of arbitrary range of integers written in C++14☆11May 31, 2019Updated 7 years ago
- A faster analogue of the std::vector for the perfomance-dependent enviroment☆20Jun 21, 2019Updated 7 years ago
- Guided Branch Cleanup Utility☆11Sep 1, 2022Updated 3 years ago
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- A very (!) fast BrainFuck interpreter in Python☆20Oct 24, 2022Updated 3 years ago
- A recursive descent parser☆15Mar 21, 2017Updated 9 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- Go bindings for Clearbit☆12Jun 13, 2023Updated 3 years ago
- Rust geohash library☆17Nov 3, 2020Updated 5 years ago
- List your Go(lang) declarations for your currently opened file in your Atom IDE☆15May 21, 2017Updated 9 years ago
- SWI-Prolog rewriting proxy server that includes SWISH in Learn Prolog Now☆13Mar 5, 2024Updated 2 years ago
- LLVM dataflow analysis framework; Reaching Definition Analysis; Liveness Analysis, May-point-to Definition Analysis ; inter-procedural m…☆26Mar 15, 2020Updated 6 years ago
- Tokbox Server SDK for Google's Go language ("Golang")☆15Jun 6, 2019Updated 7 years ago
- The website repository☆16Aug 4, 2026Updated last week