steakhal
Former MSc student at ELTE (computer science). I'm interested in modern C++, Conan package management, reverse engineering, compilers, and information security
@SonarSourceBudapest
steakhal's Stars
sharkdp/hexyl
A command-line hex viewer
romkatv/powerlevel10k
A Zsh theme
neoclide/coc.nvim
Nodejs extension host for vim & neovim, load extensions like VSCode and host language servers.
rycus86/githooks
Githooks: per-repo and global Git hooks with version control
ibraheemdev/modern-unix
A collection of modern/faster/saner alternatives to common unix commands.
facebook/SPARTA
SPARTA is a library of software components specially designed for building high-performance static analyzers based on the theory of Abstract Interpretation.
hmemcpy/milewski-ctfp-pdf
Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
BartoszMilewski/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
gamesh411/ccdb-tool
YarikTH/ureact
Functional reactive programming library for c++
MayaPosch/NymphCast
Audio and video casting system with support for custom applications.
feliam/klee-taint
KLEE-TAINT - Klee with taint analysis support
klee/klee
KLEE Symbolic Execution Engine
diffblue/cbmc
C Bounded Model Checker
bryansteiner/gpu-passthrough-tutorial
stanford-centaur/smt-switch
A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.
Discookie/codechecker-vscode
CodeChecker integration for Visual Studio Code, CompSci BSc project - see https://github.com/Ericsson/CodeCheckerVSCodePlugin for the reworked version
pemistahl/grex
A command-line tool and Rust library with Python bindings for generating regular expressions from user-provided test cases
whitequark/unfork
unfork(2) is the inverse of fork(2). sort of.
vrthra/mimid
Replication package for Mining Input Grammars From Dynamic Control Flow
rr-debugger/rr
Record and Replay Framework
ldionne/dyno
Runtime polymorphism done right
APokorny/hsm
Hierarchical statemachine library
epezent/implot
Immediate Mode Plotting
newlawrence/Conan-Recipes
A home for my custom Conan recipes
dechamps/WinIPBroadcast
Automagically sends IP broadcast packets to all interfaces on Windows
illera88/Ponce
IDA 2016 plugin contest winner! Symbolic Execution just one-click away!
jminuscula/dixit-online
Online version of the Dixit boardgame
cozuya/secret-hitler
A web adaptation of the social deduction board game Secret Hitler. https://secrethitler.io
terraforming-mars/terraforming-mars
Terraforming Mars Boardgame