- Wisconsin
- https://hoelz.ro
- @hoelzro
Block or Report
Block or report hoelzro
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abuseStars
Language
Sort by: Recently starred
Style transfer, deep learning, feature transform
Play Minesweeper by formally proving your moves in Idris
A handy guide to financial support for open source
Language, engine, and tooling for expressing, testing, and evaluating composable language rules on input strings.
A curated list of awesome command-line frameworks, toolkits, guides and gizmos. Inspired by awesome-php.
YAGO is a large semantic knowledge base, derived from Wikipedia, WordNet, WikiData, GeoNames, and other data sources
π§ A list of awesome Linux softwares
Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)
QuineDB is a quine that is also a key-value store.
xoreaxeaxeax / sandsifter
Forked from Battelle/sandsifterThe x86 processor fuzzer
Checklist of the most important security countermeasures when designing, testing, and releasing your API
π ZSH plugin that reminds you to use existing aliases for commands you just typed
Models and examples built with TensorFlow
Porting Windows Dynamic Link Libraries to Linux
β πΆ Get your GitHub Issues to read offline later. Mmm.
Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will β¦
π’ Data analysis and visualization of freeCodeCamp contributor data
A friendly programming language from the future
A nose plugin for completing test modules/classes/methods/functions from the command line
A gallery of new features in JavaScript for those who do not use JavaScript often
extract code snippets using selectors (instead of line numbers) - ES5, ES6, TypeScript
Concurrency tracer and visualizer for Go (Golang) programming language