dbremner

Ciphey

⚡ Automatically decrypt encryptions without knowing the key or cipher, decode encodings, and crack hashes ⚡

slint

Slint is a declarative GUI toolkit to build native user interfaces for Rust, C++, or JavaScript apps.

semantic

Parsing, analyzing, and comparing source code across many languages

xv6-public

xv6 OS

ocaml

The core OCaml system: compilers, runtime system, base libraries

tinyraytracer

A brief computer graphics / rendering course

bindiff

Quickly find differences and similarities in disassembled code

keen

Keen Dreams on Greenlight!

CsWin32

A source generator to add a user-defined set of Win32 P/Invoke methods and supporting types to a C# project.

langcc

langcc: A Next-Generation Compiler Compiler

win32metadata

Tooling to generate metadata for Win32 APIs in the Windows SDK.

bfs

A breadth-first version of the UNIX find command

cmake_template

CMake for C++ Best Practices

Grammar-Kit

Grammar files support & parser/PSI generation for IntelliJ IDEA

angstrom

Parser combinators built for speed and memory efficiency

15445-bootcamp

A basic introduction to coding in modern C++.

crucible

Crucible is a library for symbolic simulation of imperative programs

binlog

A high performance C++ log library, producing structured binary logs

graph-mining

nfsserve

A Rust NFS Server implementation

tlx

TLX - A Collection of Sophisticated C++ Data Structures, Algorithms, and Miscellaneous Helpers

seer

symbolic execution engine for Rust

adobe_source_libraries

Adobe Source Libraries

misra-rust

An investigation into what adhering to each MISRA-C rule looks like in Rust. The intention is to decipher how much we "get for free" from the Rust compiler.

lepton_jpeg_rust

Port of DropBox Lepton compression to Rust

am-utexas

Reimplementation of Doug Lenat's Automated Mathematician by Bruce Porter's group at the University of Texas at Austin

container-vm-scripts

Scripts for building FreeBSD VMs for use with podman

Harmonia_for_B_plus_trees

Harmonia is an algorithm that allows for the implementation of operations on B+ trees using parallelization. As a part of my GPU project, I implemented the Harmonia paper published in 2019 in CUDA.

colloquy-1

Madd's fork of Colloquy

panfix