-
-
cclyzerpp Public
Forked from GaloisInc/cclyzerppcclyzer++ is a precise and scalable pointer analysis for LLVM code.
C++ BSD 3-Clause "New" or "Revised" License UpdatedOct 22, 2025 -
-
-
-
codehawk Public
Forked from static-analysis-engineering/codehawkCodeHawk Abstract Interpretation Engine and Analyzers
OCaml MIT License UpdatedOct 4, 2025 -
ronomon-pure Public
Forked from ronomon/pureA static analysis file format checker.
C MIT License UpdatedAug 27, 2025 -
CodeHawk-Binary Public
Forked from static-analysis-engineering/CodeHawk-BinaryCodeHawk Binary Analyzer for malware analysis and general reverse engineering
Python MIT License UpdatedAug 26, 2025 -
CodeHawk-C Public
Forked from static-analysis-engineering/CodeHawk-CCodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Python MIT License UpdatedMay 8, 2025 -
-
setup-ocaml-unsandboxed Public
Forked from ocaml/setup-ocamlGitHub Action for the OCaml programming language
TypeScript MIT License UpdatedApr 25, 2025 -
-
re2c_to_automaton Public
Imports re2c DFAs (via graphviz) to automata-lib
Python MIT License UpdatedJan 11, 2025 -
-
minuproto Public
Minimalist subset of Cap'n'Proto.
-
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedOct 25, 2021 -
hoopl Public
Forked from haskell/hooplHigher-order optimization library
Haskell Other UpdatedMay 29, 2021 -
packages-hoopl Public
Forked from ghc/packages-hooplMirror of packages-hoopl repository. DO NOT SUBMIT PULL REQUESTS HERE
Haskell Other UpdatedMay 29, 2021 -
type-errors-pretty Public
Forked from kowainik/type-errors-pretty๐๐ Combinators for writing pretty type errors easily
Haskell Mozilla Public License 2.0 UpdatedMay 29, 2021 -
mcqc Public
Forked from mit-pdos/mcqcA Gallina compiler with C++17 as an intermediate representation
Haskell MIT License UpdatedMar 8, 2021 -
dk.brics.automaton Public
Forked from cs-au-dk/dk.brics.automatondk.brics.automaton - finite-state automata and regular expressions for Java
Java Other UpdatedMar 26, 2020 -
-
-
-
smtLib Public
Forked from yav/smtLibHaskell datatypes for generating SMTLIB files.
Haskell MIT License UpdatedMar 12, 2018 -
-
JikesRVM Public
Forked from JikesRVM/JikesRVMJikes RVM (Research Virtual Machine)
Java Other UpdatedDec 20, 2016 -
-
canvas-cacheviz Public
HTML canvas visualizer for cache hits and misses
{{ message }}