bostick

tabit-file-format

Description of the .tbt TabIt file format

tbt-parser

A C++ parser and MIDI converter for .tbt TabIt files

tree-sitter-wolfram

Wolfram Language grammar for tree-sitter

1brc

1️⃣🐝🏎️ The One Billion Row Challenge -- A fun exploration of how quickly 1B rows from a text file can be aggregated with Java

AdventOfCode2015

My AdventOfCode 2015 solutions

AdventOfCode2023

My AdventOfCode 2023 solutions

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!

algo

Set up a personal VPN in the cloud

bostick

ClockViz

Unity project for visualizing real-time differences in clocks in mobile devices

deepstate

A unit test-like interface for fuzzing and symbolic execution

docker.github.io

Source repo for Docker's Documentation

EagleCell

Explore cellular automata running on the GPU with OpenGL ES

ghidra

Ghidra is a software reverse engineering (SRE) framework

fluidsynth

Software synthesizer based on the SoundFont 2 specifications

games-samples

A collection of samples to discuss and showcase games in Android apps.

handbook

📘 The new Sourcegraph handbook

interesting

Interesting function

jam0001

language-server-protocol

Defines a common protocol for language servers.

libzt

Encrypted P2P sockets over ZeroTier

LSP

Client implementation of the Language Server Protocol for Sublime Text

package_control_channel

Default channel file for Package Control. Follow the directions at:

pe-parse

Principled, lightweight C/C++ PE parser

pieces-documentation

Official documentation for Pieces for Developers

sqlite

Official Git mirror of the SQLite source tree

sqlite-jdbc

SQLite JDBC Driver

wordle-clone

z3

The Z3 Theorem Prover

z3-wolfram

Wolfram Language API for Z3 (https://github.com/Z3Prover/z3)