Interpreters code (L1 - L7) for Principles of Programming Languages course
☆43May 26, 2026Updated 5 months ago
Alternatives and similar repositories for interpreters
Users that are interested in interpreters are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- My Blog☆18Oct 17, 2026Updated last week
- ☆11Nov 11, 2025Updated 11 months ago
- waccOS, an operating system kernel written in WACC.☆12Mar 8, 2019Updated 7 years ago
- scheme to x64 compiler☆12Mar 1, 2019Updated 7 years ago
- 我从动漫中学习到的知识和人生感悟☆16Mar 6, 2025Updated last year
- 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.
- ☆11May 27, 2025Updated last year
- Most influential papers in programming languages☆62Jan 20, 2025Updated last year
- FYP on using e-graphs to solve smt bitvector problems☆16Jun 24, 2025Updated last year
- Improved type safety with tight TypeScript interop☆14Feb 17, 2025Updated last year
- ☆14Mar 31, 2023Updated 3 years ago
- A Scheme Interpreter for ARM Microcontrollers☆16Jan 15, 2014Updated 12 years ago
- An implementation of Cheney style garbage collection for cons cells and atomic data. Heap resizing is also permitted either explicitly an…☆13Dec 28, 2017Updated 8 years ago
- A collection of datapath circuit design and verification benchmarks☆19Aug 24, 2026Updated 2 months ago
- One more hobby operating system☆13Jun 17, 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.
- Notes from my research for forest-lang☆12Feb 28, 2022Updated 4 years ago
- Refreshing automation for inductive equational proofs using e-graphs☆28Jul 7, 2024Updated 2 years ago
- The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution☆39Jun 19, 2026Updated 4 months ago
- ☆26Aug 2, 2022Updated 4 years ago
- A light-weight, fast, and easy to use context api for Sinuous☆12Jan 30, 2023Updated 3 years ago
- Example that uses GraalVM native image to create a shared library, callable from C, Ruby or other ecosystems that support foreign functio…☆11Mar 31, 2023Updated 3 years ago
- A bignum library for C.☆32Jul 9, 2024Updated 2 years ago
- Formalizing the Intel 4004 microprocessor☆26Jul 14, 2026Updated 3 months ago
- Type checker for dynamic languages like JavaScript & Python, with full type inference and no transpilation☆21Oct 21, 2026Updated last week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆11Nov 12, 2024Updated last year
- Spacemacs-like configuration for Helix☆12Nov 12, 2022Updated 3 years ago
- Library for decoding and encoding Minecraft packets☆26Feb 5, 2022Updated 4 years ago
- ☆16Feb 20, 2022Updated 4 years ago
- It's ooey and gooey. No clue what this really is aside from a GUI framework basis?☆14Oct 1, 2024Updated 2 years ago
- The Stroscot Programming Language☆13Aug 22, 2026Updated 2 months ago
- Semi-automated vocabulary generation from semantic vector models☆10Dec 15, 2021Updated 4 years ago
- a tiny tool for visualising substructual sharing in data structures 🕵️♀️☆18Apr 4, 2019Updated 7 years ago
- Zig Optimizing Backend☆36Jun 6, 2026Updated 4 months ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Documenting common pitfalls and footguns in Lean☆37Aug 26, 2025Updated last year
- A functional programming language, mirroring Erlang and Go, but with more OCaml!☆30May 28, 2026Updated 5 months ago
- A flexible nim library for making frontend text editors using the nim JavaScript compiler.☆13Aug 28, 2024Updated 2 years ago
- RFC-145 compliant Nixdoc parser in pure Rust☆12Oct 22, 2026Updated last week
- TiddlyWiki plugin: Disqus comments☆13Feb 6, 2024Updated 2 years ago
- Tool to generate a file of aliases for apparmor based on current nixos generation☆12May 12, 2025Updated last year
- The Titan programming language.☆15Apr 16, 2024Updated 2 years ago