A Simple Abstract Interpreter, built for teaching purposes
☆20May 13, 2020Updated 5 years ago
Alternatives and similar repositories for simple-abstract-interpreter
Users that are interested in simple-abstract-interpreter are comparing it to the libraries listed below
Sorting:
- Parametric Integer Programming Library☆15Jan 23, 2024Updated 2 years ago
- egraphs-good website☆18Oct 9, 2024Updated last year
- An IntelliJ-based IDE plugin for Python AST transformations☆18Aug 16, 2023Updated 2 years ago
- PyCes (Python Code Scanner) - Enhanced Security Static Analysis Tool for Python☆11Apr 18, 2019Updated 6 years ago
- Verik toolchain☆45Dec 24, 2022Updated 3 years ago
- Mining Relevant Fix Patterns for Automated Program Repair☆31Dec 14, 2022Updated 3 years ago
- a Rust implementation of first-order term rewriting systems (TRS)☆29Dec 28, 2021Updated 4 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- ☆30Oct 16, 2022Updated 3 years ago
- Staged Abstract Interpreters☆69Mar 13, 2023Updated 2 years ago
- ☆14Mar 12, 2023Updated 2 years ago
- ☆10Jul 10, 2021Updated 4 years ago
- Wrappers for open source FPU hardware implementations.☆37Nov 27, 2025Updated 3 months ago
- A Quick Research of Active Automata Learning☆32Mar 13, 2020Updated 5 years ago
- Spinbox extension for customtkinter (add-on)☆10Jun 4, 2024Updated last year
- IST'21 & SANER'22: Semantic-Preserving Program Transformations☆31Oct 25, 2022Updated 3 years ago
- A translation validation framework for MLIR☆94Mar 19, 2025Updated 11 months ago
- PyQt thread which overlays the translucent loading screen with label on the whole window like some generic application loading screen.☆12Feb 4, 2022Updated 4 years ago
- A cross platform manga/doujinshi manager with namespace & tag support☆10Oct 10, 2021Updated 4 years ago
- A simple led indicator for PyQt5☆11Sep 15, 2017Updated 8 years ago
- MediaPipeのFaceMesh検出を用いて、虹彩部分に写輪眼(©NARUTO -ナルト-)を表示するプログラム☆11Apr 16, 2022Updated 3 years ago
- Grab some/all of CodeQL CLI binary, QL library, VSCode starter workspace, VSCode and VSCode QL extension☆11Jun 12, 2025Updated 8 months ago
- Combined InstantID🔥 and FouriScale to generate high resolution image!☆11Apr 3, 2024Updated last year
- Reinforcement Learning (PPO) applied to a multiplayer simple card game (Witches)☆10Jun 7, 2020Updated 5 years ago
- ☆12Nov 22, 2024Updated last year
- DAC'22 paper: "Automated Accelerator Optimization Aided by Graph Neural Networks"☆40Oct 3, 2023Updated 2 years ago
- ☆35May 27, 2020Updated 5 years ago
- Solver for Constrained Horn Clauses☆50Feb 27, 2026Updated last week
- ☆39Dec 7, 2021Updated 4 years ago
- Official implementation for "How Should We Meta-Learn Reinforcement Learning Algorithms?"☆23Sep 7, 2025Updated 6 months ago
- Demonstration of different algorithms and operations on faces. Join the Discord channel for discussion.☆12Apr 20, 2023Updated 2 years ago
- Chaitin-Briggs register-allocation algorithm (LLVM back-end)☆12Jan 6, 2016Updated 10 years ago
- AI-powered video object removal (diffusion inpainting under the hood).☆15Oct 23, 2025Updated 4 months ago
- Lip and hair color editor using face parsing maps.☆12May 12, 2024Updated last year
- A model builder helper for creating graph neural networks akin to the ones described in https://arxiv.org/abs/1806.01261 and https://ie…☆12Apr 18, 2019Updated 6 years ago
- SymPy based framework for optimized code generation for BSSN formulation of Einstein equation for heterogeneous platforms.☆11Aug 18, 2025Updated 6 months ago
- In this project, I am creating a facial mesh using opencv and mediapipe. It can detect a face even with a face mask.☆13Sep 13, 2021Updated 4 years ago
- Generalized Optimal Transport Attention with Trainable Priors☆24Jan 25, 2026Updated last month
- ☆10Oct 10, 2024Updated last year