Partial evaluation of Python code
☆22Mar 2, 2023Updated 3 years ago
Alternatives and similar repositories for peval
Users that are interested in peval are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- QNim game is quantum version of classical Nim game. In QNim game, human/classical computer will play against quantum computer. Developed …☆12Sep 5, 2024Updated last year
- ☆13Mar 28, 2024Updated 2 years ago
- 华中科技大学Linux协会（HUSTLUG）开源镜像站☆12Oct 26, 2023Updated 2 years ago
- Quick and efficient lambda functions.☆11Jun 27, 2016Updated 10 years ago
- A very basic Lisp + Erlang-style processes, on a virtual machine☆10Aug 24, 2016Updated 9 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.
- face Python bytecode metaprogramming API fork☆71Nov 6, 2020Updated 5 years ago
- A compiler for Tiger language includes lexical analysis using flexc++, parsing using Bisonc++, type checking, building abstract syntax tr…☆13Jan 18, 2023Updated 3 years ago
- RPython by Example (RPyBE) is a collection of runnable examples that illustrate various RPython concepts and libraries.☆16May 25, 2022Updated 4 years ago
- Automatic screen orientation via xrandr☆14Dec 10, 2018Updated 7 years ago
- An example repo for packaging cppyy bindings for a simple k-nearest neighbors implementation, based on https://github.com/jclay/cppyy-kne…☆12Apr 10, 2019Updated 7 years ago
- Export Python AST to JSON☆25Jun 19, 2021Updated 5 years ago
- Inofficial fork of quad-wheel on Google-Code☆12Mar 26, 2012Updated 14 years ago
- Attempt at creating an architecture agnostic jit library, heavily inspired by copy-and-patch.☆19Jun 23, 2024Updated 2 years ago
- A simple implementation for pretty, Rust-style error diagnostics.☆27Sep 16, 2020Updated 5 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- mTOTP is an experimental, manual variant of TOTP designed to be computed by a human without electronic devices. It explores the limits of…☆74Jan 18, 2026Updated 5 months ago
- Lean4 benchmark on 1 category.☆26Jun 19, 2026Updated 2 weeks ago
- ☆11Dec 20, 2015Updated 10 years ago
- ☆10Apr 10, 2024Updated 2 years ago
- Library for construction, manipulation and evaluation of factorable functions☆16Dec 13, 2025Updated 6 months ago
- A Rust-like language with immix GC and other cool stuffs☆79May 11, 2025Updated last year
- Minimalistic dynamically-typed programming language for didactic purposes.☆29Aug 13, 2022Updated 3 years ago
- Formal specification of the Haskell Language Report☆32Mar 2, 2026Updated 4 months ago
- Parser, code model, navigable browser and VM for the SOM Smalltalk dialect☆31Aug 8, 2022Updated 3 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.
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- High-Level Rust API for egglog☆29May 15, 2026Updated last month
- Detect and remove unused dependencies for Python projects☆18Apr 5, 2025Updated last year
- Copied from https://bitbucket.org/kztk/partially-reversible-lang-impl/☆12Jan 15, 2026Updated 5 months ago
- Code repository for our work on Quantum Pi☆11Jun 4, 2024Updated 2 years ago
- ☆16Jun 27, 2020Updated 6 years ago
- ☆12Oct 28, 2025Updated 8 months ago
- A prototype of an SSA-based quantum IR exploiting value semantics☆14Jan 23, 2024Updated 2 years ago
- ☆56Apr 25, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- Collapsing Towers of Interpreters☆93Jun 21, 2025Updated last year
- The fun programming language☆17Oct 30, 2024Updated last year
- GPU accelerated first order primal-dual algorithm for solving convex optimization problems, and its application in maximum flow minimum c…☆17Nov 14, 2020Updated 5 years ago
- Check Python ASTs against templates☆18Jan 29, 2024Updated 2 years ago
- A simple resume template written in LaTeX with docker☆10Feb 6, 2023Updated 3 years ago
- ☆13Dec 8, 2022Updated 3 years ago
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆35Apr 8, 2026Updated 2 months ago