Artifact for paper "super-charging Object-Oriented Programming through Precise Typing of Open Recursion" at ECOOP 2023 (https://2023.ecoop.org/details/ecoop-2023-papers/41)
☆11Jul 20, 2023Updated 3 years ago
Alternatives and similar repositories for superoop
Users that are interested in superoop are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Grey-box fuzzer SIVO☆13Jul 11, 2021Updated 5 years ago
- A functional fluent API generator☆36Dec 30, 2022Updated 3 years ago
- LLVM pass☆23Jun 23, 2020Updated 6 years ago
- A strongly-typed, compiled dialect of Python.☆13Jan 28, 2024Updated 2 years ago
- The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to ha…☆229Oct 22, 2026Updated last week
- Simple, predictable pricing with DigitalOcean hosting • AdAlways know what you'll pay with monthly caps and flat pricing. Enterprise-grade infrastructure trusted by 600k+ customers.
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 8 years ago
- Julia package for loop invariant generation☆12Nov 17, 2020Updated 5 years ago
- LLMSAN: Sanitizing Large Language Models in Bug Detection with Data-Flow (EMNLP Findings 2024)☆88Oct 24, 2025Updated last year
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated 2 years ago
- Legacy Code of ZJU Campus App for iOS☆11Jan 31, 2024Updated 2 years ago
- ☆10Sep 7, 2016Updated 10 years ago
- ☆10Oct 21, 2026Updated last week
- A fluent API generator☆27Jan 26, 2026Updated 9 months ago
- Interprocedural Distributive Environment algorithm implementation☆16Jul 16, 2015Updated 11 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.
- Artifact of the ICSE 2020 paper: "ReluDiff: Differential Verification of Deep Neural Networks"☆11Feb 1, 2022Updated 4 years ago
- Indexing reachability for context-sensitive data flow analysis.☆12Jul 10, 2022Updated 4 years ago
- Version of IKOS abstract interpreter implementing parallel deterministic fixpoint computation☆17Aug 24, 2020Updated 6 years ago
- C++ Template Turing Machine☆15Jun 7, 2018Updated 8 years ago
- Python type hints are Turing complete.☆33Nov 24, 2022Updated 3 years ago
- Sys, but no longer in Haskell☆20Mar 14, 2022Updated 4 years ago
- A fuzzer for SMT solvers☆23May 8, 2026Updated 5 months ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 11 years ago
- ☆16Feb 2, 2026Updated 8 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- A Fast Floating-Point Satisfiability Solver☆31Jul 26, 2025Updated last year
- Haskell implementation and Coq proof for an implicit polymorphic gradual type system.☆17May 27, 2020Updated 6 years ago
- A simple ML-like programming language with subtyping and full type inference.☆191Dec 1, 2024Updated last year
- Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".☆30Apr 11, 2022Updated 4 years ago
- Implementation from Quantization and Training of Neural Networks for Efficient Integer-Arithmetic-Only Inference☆11Feb 5, 2020Updated 6 years ago
- A data dependence analyzer for C program☆20Jan 23, 2022Updated 4 years ago
- ☆15Oct 18, 2026Updated last week
- My solutions to concrete semantics☆11Sep 20, 2017Updated 9 years ago
- Java Ranger is a path-merging extension of Symbolic PathFinder☆16Sep 14, 2026Updated last month
- 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.
- An external project example using SVF as a library☆23Jul 10, 2026Updated 3 months ago
- Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization☆37May 18, 2026Updated 5 months ago
- Lean 4 as a scripting language in Houdini☆25Mar 13, 2024Updated 2 years ago
- An implementation of "A Typed, Algebraic Approach to Parsing"☆11Mar 21, 2022Updated 4 years ago
- A OCaml generator for well-typed terms (that use their arguments).☆13Feb 22, 2025Updated last year
- The Princess Theorem Prover☆36Updated this week
- Material for talks I've given☆19May 6, 2024Updated 2 years ago