Flandini

Flandini's Stars

• aappleby/smhasher

  Automatically exported from code.google.com/p/smhasher

  Language:C++2.6k467

• jakobbotsch/Fuzzlyn

  Fuzzer for the .NET toolchains, developed as a project for the 2018 Language-Based Security course at Aarhus University.

  Language:C#24518

• libusb/libusb

  A cross-platform library to access USB devices

  Language:C5.2k1.9k

• haoNoQ/clang-analyzer-guide

  An easy guide to Clang Static Analyzer extension.

  Language:TeX13522

• rod-chapman/SPARKNaCl

  SPARK 2014 re-implementation of the TweetNaCl crypto library

  Language:Ada1138

• almondtools/stringbench

  String matching algorithm benchmark

  Language:Java376

• artseyio/artsey

  Website and general info files that are available online. This is mostly documentation and information related to artsey

  Language:Python21211

• objmagic/jaw

  Code using GADT

  Language:OCaml375

• jtpaasch/bap-kb

  Notes on the BAP knowledge base

  Language:OCaml1

• lifting-bits/sleigh

  Unofficial CMake build for Ghidra's C++ SLEIGH code

  Language:CMake12822

• dbrumley/bap-plugin-book

  BAP Plugin Book and Tutorial

  Language:C42

• bollu/blaze

  Haskell re-implementation of STOKE, the stochastic superoptimizer

  Language:Jupyter Notebook632

• koekeishiya/yabai

  A tiling window manager for macOS based on binary space partitioning

  Language:C23.1k639

• koekeishiya/skhd

  Simple hotkey daemon for macOS

  Language:C6.1k204

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda9110

• draperlaboratory/VIBES

  Verified, Incremental, Binary Editing with Synthesis

  Language:OCaml461

• LeventErkok/sbv

  SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

  Language:Haskell24033

• s7ephen/OSX-Sandbox--Seatbelt--Profiles

  A repository for configuration profiles for OSX's Seatbelt Application Sandbox

  Language:Shell17519

• MaskRay/ElfHacks

  Dive into ELF files using simple self-contained examples

  Language:Makefile13928

• alexjung/Writing-an-LLVM-Pass-using-the-new-PassManager

  This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in the tutorial.

  465

• nael8r/How-To-Write-An-LLVM-Register-Allocator

  This repository contains a tutorial for a quick start in how to write a register allocator using LLVM

  Language:Python26026

• AnthonyCalandra/modern-cpp-features

  A cheatsheet of modern C++ language and library features.

  19.5k2.1k

• dwighthouse/unofficial-talonvoice-docs

  Documenting my learning experiences with Talon, the speech-to-text system.

  3317

• banach-space/cpp-tutor

  Code examples for tutoring modern C++

  Language:C++868

• haskell/attoparsec

  A fast Haskell library for parsing ByteStrings

  Language:Haskell51493

• GJDuck/e9patch

  A powerful static binary rewriting tool

  Language:C96265

• abenkhadra/bcov

  Static instrumentation tool for efficient binary-level coverage analysis.

  Language:C++1439

• universal-ctags/ctags

  A maintained ctags implementation

  Language:C6.5k620

• google/fuzzbench

  FuzzBench - Fuzzer benchmarking as a service.

  Language:Python1.1k264

• github/codeql

  CodeQL: the libraries and queries that power security researchers around the world, as well as code scanning in GitHub Advanced Security

  Language:CodeQL7.5k1.5k