fmayer

fmayer's Stars

• tmux/tmux

  tmux source code

  Language:C37k4363.6k2.2k

• llvm/llvm-project

  The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

  Language:LLVM31.8k58082.1k13.2k

• keepassxreboot/keepassxc

  KeePassXC is a cross-platform community-driven port of the Windows application “Keepass Password Safe”.

  Language:C++22.8k2698.7k1.5k

• swaywm/sway

  i3-compatible Wayland compositor

  Language:C15.2k2154.8k1.1k

• bpftrace/bpftrace

  High-level tracing language for Linux

  Language:C++9.1k1641.3k1.4k

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.9k1842k1.1k

• jlfwong/speedscope

  🔬 A fast, interactive web-based viewer for performance profiles.

  Language:TypeScript5.9k51282268

• google/wuffs

  Wrangling Untrusted File Formats Safely

  Language:C4.3k8496138

• dhall-lang/dhall-lang

  Maintainable configuration files

  Language:Dhall4.3k60537178

• google/orbit

  C/C++ Performance Profiler

  Language:C++4.3k85215354

• plasma-umass/coz

  Coz: Causal Profiling

  Language:C4.2k70144164

• google/perfetto

  Performance instrumentation and tracing for Android, Linux and Chrome

  Language:C++3.4k66936416

• sharkdp/insect

  High precision scientific calculator with support for physical units

  Language:PureScript3.2k27262127

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.7k108609689

• clangd/clangd

  clangd language server

  Language:Shell1.7k251.9k73

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.5k56630442

• alphapapa/org-super-agenda

  Supercharge your Org daily/weekly agenda by grouping items

  Language:Emacs Lisp1.4k27222108

• ARM-software/abi-aa

  Application Binary Interface for the Arm® Architecture

  Language:HTML1k5494199

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++97429194145

• souffle-lang/souffle

  Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

  Language:C++97340864213

• dhall-lang/dhall-haskell

  Maintainable configuration files

  Language:Dhall93028920218

• AliveToolkit/alive2

  Automatic verification of LLVM optimizations

  Language:C++88324514116

• org-roam/org-roam-server

  A Web Application to Visualize the Org-Roam Database

  Language:HTML6372713650

• trailofbits/maat

  Open-source symbolic execution framework: https://maat.re

  Language:C++631147643

• PLSysSec/haybale

  Symbolic execution of LLVM IR with an engine written in Rust

  Language:Rust548172628

• S2E/s2e

  S2E: A platform for multi-path program analysis with selective symbolic execution.

  Language:C++45911091

• seahorn/seahorn

  SeaHorn Verification Framework

  Language:C44519206130

• smackers/smack

  SMACK Software Verifier and Verification Toolchain

  Language:C4352345483

• llvm/llvm-test-suite

  Language:RPC1783170334

• felko/neuron-mode

  An emacs mode for editing Zettelkasten notes with neuron

  Language:Emacs Lisp118135821