A minimal interpreter for the toy language, IMP, used as an example for building interpreters.
☆12Dec 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:
- A compact, dependency-free LL(1) parser toolkit for Python.☆10Apr 18, 2026Updated 5 months ago
- A compiler for x86-64 with an SLR parser.☆11Dec 21, 2023Updated 2 years ago
- Convert regex(es) to dfa.☆14Apr 30, 2021Updated 5 years ago
- Desktop shortcuts (.desktop) create a risk for code execution via social engineering☆10Feb 6, 2017Updated 9 years ago
- 10,000 Cities with Latitude, Longitude, and Elevation in Rust☆13Nov 3, 2020Updated 5 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.
- logic programming in elixir☆10Nov 1, 2018Updated 7 years ago
- Pascal simplified compiler written in python without external dependencies☆12May 18, 2018Updated 8 years ago
- ☆16Apr 9, 2020Updated 6 years ago
- Compile a python3 subset into MIPS used by programable chips in stationeers☆14Mar 11, 2021Updated 5 years ago
- DefinitelyTyped documentation-generator source + gh-pages☆12Jun 26, 2014Updated 12 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
- A simple TCP server implemented in Golang☆10Nov 30, 2017Updated 8 years ago
- ☆10Nov 14, 2018Updated 7 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.
- Yet another Scheme interpreter.☆11Sep 17, 2022Updated 4 years ago
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Apr 3, 2023Updated 3 years ago
- Experiments with the Verse Calculus in miniKanren☆14Sep 17, 2023Updated 3 years ago
- tak is a benchmark thing 👍 (or maybe just an excuse to collect all the languages)☆14Oct 24, 2025Updated 10 months ago
- A handy tool to help design and parse your own language☆21Aug 13, 2022Updated 4 years ago
- 🚀 Publica un blog con Hugo en GitHub Pages☆11Dec 4, 2017Updated 8 years ago
- 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
- Guided Branch Cleanup Utility☆11Sep 1, 2022Updated 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.
- Type Inference Prototyping Engine from Relational specifications of type systems☆11Jun 24, 2020Updated 6 years ago
- libioc command line tool for BSD jail management☆17Jul 14, 2021Updated 5 years ago
- Go bindings for Clearbit☆12Jun 13, 2023Updated 3 years ago
- API and command line app to create tablature for common stringed instruments such as guitar, bass and ukulele.☆14Jun 28, 2017Updated 9 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
- The website repository☆16Aug 4, 2026Updated last month
- ☆36May 31, 2026Updated 3 months ago
- Voevodsky's notes on type systems. This version contains more material than the one on his website.☆12Jun 15, 2014Updated 12 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.
- determines if an object (or array) is circular☆14May 11, 2020Updated 6 years ago
- Digitizing an elementary school craft for easy prototyping.☆18May 17, 2022Updated 4 years ago
- Easy JSON formats for any case classes, for Scala, ScalaJS and Scala Native☆11Sep 12, 2018Updated 8 years ago
- Validate untyped data and return well typed result.☆21Oct 26, 2024Updated last year
- PyQt5☆14Mar 2, 2014Updated 12 years ago
- miniKanren in Pharo☆12Jun 10, 2024Updated 2 years ago
- A simple javascript wrapper library for use with MeadCo's ScriptX Add-on and/or ScriptX.Services☆11Jul 10, 2026Updated 2 months ago