uqcyber / veriopt-releasesView external linksLinks
Verifying the optimization phases of the GraalVM compiler
☆14Jan 13, 2025Updated last year
Alternatives and similar repositories for veriopt-releases
Users that are interested in veriopt-releases are comparing it to the libraries listed below
Sorting:
- The Basil pipeline for concurrent information flow analysis in AArch64 binaries.☆17Feb 10, 2026Updated last week
- Formal semantics in Agda.☆16Jul 2, 2015Updated 10 years ago
- A Large-Scale Automated Program Repair Benchmark of Real-World LLVM Middle-End Bugs☆21Updated this week
- A bounded exhaustive testing tool☆22Jul 3, 2025Updated 7 months ago
- A small NuPRL style proof assistant☆31Jan 31, 2019Updated 7 years ago
- ☆36Jan 8, 2026Updated last month
- UB-aware interpreter for LLVM debugging☆44Updated this week
- Template for a (PhD) thesis☆10Nov 5, 2025Updated 3 months ago
- My personal notes ✍️☆35Dec 20, 2023Updated 2 years ago
- Support code for talk 'XXIst century shall be typed or not be'☆15Oct 21, 2022Updated 3 years ago
- CHEMSMART: Chemistry Simulation and Modeling Automation Toolkit☆22Updated this week
- Implementation of "Interleaved Latent Visual Reasoning with Selective Perceptual Modeling".☆43Jan 21, 2026Updated 3 weeks ago
- Tax types and computations for Australia☆11Dec 8, 2025Updated 2 months ago
- Search for ambiguities in context-free grammars.☆40Mar 11, 2021Updated 4 years ago
- Difflog: Synthesizing Datalog Programs using Numerical Relaxation☆12Sep 26, 2019Updated 6 years ago
- Simple testing toolkit☆10May 28, 2021Updated 4 years ago
- ☆10Aug 2, 2016Updated 9 years ago
- ☆12May 9, 2015Updated 10 years ago
- A repository with some information I may need to refer later about the Plutus lectures☆12Jul 19, 2021Updated 4 years ago
- Indexed Functors for GHC 7.6☆22Aug 20, 2019Updated 6 years ago
- Just Build It - a "do what I mean" abstraction for Haskell build tools☆12Jun 8, 2018Updated 7 years ago
- GHC-WPC is an extended GHC that exports the STG and other IR (.modpak) for the compiled modules and linker metadata (.ghc_stgapp) at appl…☆10Feb 14, 2024Updated 2 years ago
- Mirror of ocaml-forester☆50Jun 18, 2024Updated last year
- A tool for cross-checking Verilog compilers☆14Apr 16, 2025Updated 10 months ago
- ☆11Jul 2, 2024Updated last year
- Clifford algebra for Haskell! :D☆14Jul 1, 2014Updated 11 years ago
- A sample mathematics paper to illustrate basic ideas in LaTeX☆11Jul 21, 2024Updated last year
- Agent-OM: Leveraging LLM Agents for Ontology Matching☆17Jan 24, 2026Updated 3 weeks ago
- ☆12Nov 20, 2025Updated 2 months ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- @davidtwco's dotfiles - managed by chezmoi!☆14Jan 16, 2026Updated last month
- A Haskell clone of https://cstack.github.io/db_tutorial☆11Jun 30, 2020Updated 5 years ago
- A lightweight kmer-based algorithm for designing diagnostic CRISPR assays using genome data.☆13Aug 19, 2024Updated last year
- Python tools for working with LAMMPS files☆15Jan 5, 2026Updated last month
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- Manage Nix Haskell override sets☆11Sep 30, 2018Updated 7 years ago
- ☆16Jul 13, 2014Updated 11 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- Verified Intermediate Representation☆23Updated this week