grafoo
Enjoying Friday afternoon deploys during yak shaves while exploring ancient codes of long lost software systems.
Wien
Pinned Repositories
grafoo's Repositories
grafoo/lfe-manual
The LFE MACHINE MANUAL
grafoo/efpl
Exercises of Functional Programming in Lean
grafoo/exomem
grafoo/fdg
A Force Directed Graph Framework for Rust.
grafoo/okkult
Roguelike
grafoo/slog
grafoo/AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
grafoo/alacritty
A cross-platform, OpenGL terminal emulator.
grafoo/alacritty-theme
Collection of Alacritty color schemes
grafoo/bdwgc
The Boehm-Demers-Weiser conservative C/C++ Garbage Collector (bdwgc, also known as bdw-gc, boehm-gc, libgc)
grafoo/bqn
An APL-like programming language. Self-hosted!
grafoo/CBQN
a BQN implementation in C
grafoo/conffiti
grafoo/conffiti-aux
grafoo/fp-lean
Functional Programming in Lean
grafoo/fuzzing
Tutorials, examples, discussions, research proposals, and other resources related to fuzzing
grafoo/helix
A post-modern modal text editor.
grafoo/imgui
Dear ImGui: Bloat-free Graphical User interface for C++ with minimal dependencies
grafoo/imgui-node-editor
Node Editor built using Dear ImGui
grafoo/lean
Lean Theorem Prover
grafoo/libatomic_ops
The atomic_ops project (Atomic memory update operations portable implementation)
grafoo/nethack
Official NetHack Git Repository
grafoo/nged
A Node Graph EDitor
grafoo/nocaster
grafoo/otp
Erlang/OTP
grafoo/raylib
A simple and easy-to-use library to enjoy videogames programming
grafoo/tree-sitter
An incremental parsing system for programming tools
grafoo/tree-sitter-make
grafoo/w3m
Debian's w3m: WWW browsable pager
grafoo/zig
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.