brk
Follow
-
-
-
-
zopfli Public
Forked from google/zopfliZopfli Compression Algorithm is a compression library programmed in C to perform very good, but slow, deflate or zlib compression.
C++ Apache License 2.0 UpdatedAug 4, 2026 -
-
-
-
xj_hexfloat Public
Tiny wrapper around the `hexfloat2` crate with POSIX-matching output
Rust MIT License UpdatedMay 26, 2026 -
cclyzerpp Public
Forked from GaloisInc/cclyzerppcclyzer++ is a precise and scalable pointer analysis for LLVM code.
C++ BSD 3-Clause "New" or "Revised" License UpdatedMay 15, 2026 -
-
Old-Man-Programmer__tree Public
Forked from Old-Man-Programmer/treeTree for Unix/LInux
C GNU General Public License v2.0 UpdatedMar 20, 2026 -
xj_ctime Public
Small library to bridge libc's time API into safe Rust for machine translations
Rust MIT License UpdatedMar 9, 2026 -
CodeHawk-C Public
Forked from static-analysis-engineering/CodeHawk-CCodeHawk C Analyzer: sound static analysis of memory safety (undefined behavior)
Python MIT License UpdatedDec 7, 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 -
-
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