Pinned Repositories
all-seeing-eye
canvas-cacheviz
HTML canvas visualizer for cache hits and misses
codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
cpuid
curtains
Lightweight path sandboxing via ptrace.
dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
foster
goblint-cil
C Intermediate Language
minuproto
Minimalist subset of Cap'n'Proto.
brk's Repositories
brk/minuproto
Minimalist subset of Cap'n'Proto.
brk/canvas-cacheviz
HTML canvas visualizer for cache hits and misses
brk/all-seeing-eye
brk/foster
brk/codehawk
CodeHawk Abstract Interpretation Engine and Analyzers
brk/CodeHawk-Binary
CodeHawk Binary Analyzer for malware analysis and general reverse engineering
brk/cpuid
brk/curtains
Lightweight path sandboxing via ptrace.
brk/dk.brics.automaton
dk.brics.automaton - finite-state automata and regular expressions for Java
brk/goblint-cil
C Intermediate Language
brk/hoopl
Higher-order optimization library
brk/JikesRVM
Jikes RVM (Research Virtual Machine)
brk/lang-e
E language sketches.
brk/mcqc
A Gallina compiler with C++17 as an intermediate representation
brk/packages-hoopl
Mirror of packages-hoopl repository. DO NOT SUBMIT PULL REQUESTS HERE
brk/qmk_firmware
Open-source keyboard firmware for Atmel AVR and Arm USB families
brk/smtLib
Haskell datatypes for generating SMTLIB files.
brk/sw
brk/type-errors-pretty
💄🐞 Combinators for writing pretty type errors easily
brk/xv6
xv6 OS