SPECjvm2008 Benchmark Suite
☆20Jan 22, 2016Updated 10 years ago
Alternatives and similar repositories for SPECjvm2008
Users that are interested in SPECjvm2008 are comparing it to the libraries listed below
Sorting:
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- PL/SE conference deadline countdowns☆19Nov 23, 2020Updated 5 years ago
- LLVM pass☆23Jun 23, 2020Updated 5 years ago
- ☆21Nov 10, 2019Updated 6 years ago
- The MemCAD static analyzer☆27Oct 15, 2021Updated 4 years ago
- Build a SystemVerilog Environment for an ALU, using OOP testbench components as; stimulus generator, driver, monitor, scoreboard. ALU was…☆10Mar 4, 2023Updated 3 years ago
- Constraint solver based on abstract domains☆33Oct 22, 2024Updated last year
- Pacemaker-mgmt is a server/client GUI to manage pacemaker based HA solution☆22Mar 17, 2016Updated 9 years ago
- Fowler's Refactoring examples with tests☆10Nov 24, 2016Updated 9 years ago
- HaVSA (Have-Saa) is a Haskell implementation of the Version Space Algebra Machine Learning technique described by Tessa Lau.☆12Jul 8, 2017Updated 8 years ago
- A low-level virtual machine for mobile code☆12Sep 23, 2017Updated 8 years ago
- A Coq development of the theory of Indexed W types with function extensionality.☆11Sep 13, 2017Updated 8 years ago
- AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries☆12Dec 28, 2018Updated 7 years ago
- Sydr benchmark applications☆17Jul 25, 2022Updated 3 years ago
- FPsolve: solver for polynomial equations over omega-continuous semirings☆11Aug 15, 2015Updated 10 years ago
- DAI: Demanded Abstract Interpretation☆16Sep 23, 2024Updated last year
- Automatically run experiments, upload results to google docs, analyze them using R, and include the analysis in LaTeX.☆18Mar 3, 2015Updated 11 years ago
- A constraint solver built from scratch in OCaml☆12Dec 10, 2021Updated 4 years ago
- ☆12Jun 10, 2025Updated 8 months ago
- NeonGoby alias analysis checker☆14Jul 2, 2013Updated 12 years ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- VM migration related toolset☆12Dec 24, 2025Updated 2 months ago
- Build scripts for Chromium web browser on Enterprise Linux.☆16Aug 27, 2013Updated 12 years ago
- An automated theorem prover for intuitionistic propostional logic☆14Sep 21, 2020Updated 5 years ago
- 🧊 TeX-подібна система верстки наукових праць☆20Mar 14, 2025Updated 11 months ago
- A Code Efficiency Benchmark for Code Generation☆13May 26, 2025Updated 9 months ago
- A points-to and alias analysis benchmark suite☆41Sep 24, 2018Updated 7 years ago
- Python bindings for egg☆50Jan 17, 2023Updated 3 years ago
- Valkyrie + Qt5/Qt6! Valkyrie is a Qt GUI for valgrind, as developed by the Valgrind™ Developers. It is cloned from svn://svn.valgrind.org…☆18Jan 7, 2026Updated last month
- Temporal Pathway Synthesizer☆17Jun 28, 2024Updated last year
- A Reduction Tool for SQL Bachelor's thesis of Jonas Müntener☆16Oct 15, 2024Updated last year
- A multiplayer WebGL voxel sandbox game written in C++ inspired by the classic version of Minecraft.☆14Jun 14, 2025Updated 8 months ago
- 我上了俞珺华老师 2017 年春季的证明论课，记了些笔记，慢慢电子化。有部分内容是我自己的 补充。若有错误很可能是我理解或记录错误。| My notes for Proof Theory course 2017 spring, instructed by Junhua Yu,…☆11Oct 30, 2018Updated 7 years ago
- Awesome material(papers, tools, etc.) about testing machine learning system, including deep learning system.☆47Oct 12, 2021Updated 4 years ago
- ICRA: a static analyzer based on interprocedural compositional recurrence analysis☆11Feb 27, 2020Updated 6 years ago
- Paradigms of Armenian conjugation classes, and sample verb list☆16Apr 13, 2022Updated 3 years ago
- Emacs major mode for the pikchr diagram markup language☆18Nov 27, 2024Updated last year
- QUICr parametric abstract domain for sets☆12Jul 2, 2015Updated 10 years ago
- IDE/AL - Alias-Aware Framework for Interprocedural Dataflow Analysis☆10Mar 10, 2018Updated 7 years ago