☆40Jan 23, 2021Updated 5 years ago
Alternatives and similar repositories for interpret
Users that are interested in interpret are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- This is a project to learn how to implement instruction dispatch in Rust.☆27Jun 28, 2024Updated 2 years ago
- Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.si…☆15May 22, 2024Updated 2 years ago
- Glide is an interpreted javascript VM written entirely in safe rust.☆16Sep 25, 2023Updated 2 years ago
- A super-fast, stack-based virtual machine for dynamic languages☆75Mar 3, 2025Updated last year
- Atiny is a simple compiler for a ML like language☆11Aug 16, 2023Updated 3 years ago
- Open source password manager - Proton Pass • AdSecurely store, share, and autofill your credentials with Proton Pass, the end-to-end encrypted password manager trusted by millions.
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆31Jun 18, 2022Updated 4 years ago
- virtual machine for rapid embedded development☆30Jan 16, 2025Updated last year
- A type-checked alternative to cfg(feature)☆21Jun 5, 2025Updated last year
- A highly experiment portable runtime☆21Apr 11, 2024Updated 2 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆34Apr 8, 2026Updated 4 months ago
- A copy of Daan Leijen's reference implementation of HMF (type inference)☆18Apr 25, 2016Updated 10 years ago
- Advent of Code solutions☆18Dec 12, 2025Updated 8 months ago
- ☆12Nov 14, 2021Updated 4 years ago
- ☆13May 21, 2023Updated 3 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- A meta-JIT library for Rust interpreters☆171Feb 13, 2023Updated 3 years ago
- Functional Linear Algebra with Block Matrices☆11Feb 17, 2022Updated 4 years ago
- Make presentations for data types☆25Oct 21, 2021Updated 4 years ago
- Let's (possibly) build a JIT!☆27Nov 25, 2023Updated 2 years ago
- A port of the RWKV v7 language model, implemented with the Burn deep learning framework☆14Jun 9, 2025Updated last year
- ☆11Jul 28, 2025Updated last year
- QuickJS Exercise☆12Sep 6, 2020Updated 5 years ago
- Pattern matching and exhaustiveness checking algorithms implemented in Rust☆238Oct 30, 2024Updated last year
- ☆23Jun 26, 2019Updated 7 years ago
- 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.
- Dockerized Arduino CLI Compile with YAML Project Configuration☆14Sep 30, 2023Updated 2 years ago
- Elm tutorial held at http://nfa.imn.htwk-leipzig.de/HAL2015/ and in university course http://www.janis-voigtlaender.eu/teaching/ffp15/☆12May 11, 2016Updated 10 years ago
- ASCII Roguelike prototype in Rust using bracket-lib & specs☆12Jun 5, 2022Updated 4 years ago
- Tracing JIT compiler and runtime for a subset of the JVM☆26Jan 1, 2024Updated 2 years ago
- A simple ML-like programming language with subtyping and full type inference.☆191Dec 1, 2024Updated last year
- Kempe is a compiled stack-based language☆58Sep 30, 2024Updated last year
- An API wrapper of ProxyPay API written in Nodejs and ❤️ in Luanda 🇦🇴☆13Jan 1, 2017Updated 9 years ago
- Very simple Haskell script to uninstall cabal packages☆28May 28, 2015Updated 11 years ago
- Various mechanized proof files for fun.☆15Updated this week
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection☆252Oct 23, 2022Updated 3 years ago
- small distributed database protocol☆31Dec 30, 2020Updated 5 years ago
- My game for Ludum Dare 49, written in Rust to be run in the browser via WASM and HTML5☆14Oct 6, 2021Updated 4 years ago
- Subclasses of Monoid with a solid theoretical foundation and practical purposes☆35Apr 22, 2026Updated 4 months ago
- A typeclass and set of functions for working with newtypes.☆10May 19, 2022Updated 4 years ago
- Track the opening and closing of GitHub issues over time☆12Jul 7, 2021Updated 5 years ago
- Interpreter experiment. Testing dispatch methods: Switching, Direct/Indirect Threaded Code, Tail-Calls and Inlining☆47Sep 29, 2020Updated 5 years ago