Charles Rosenbauer's repositories
Bzo-Compiler
Compiler for a custom programming language I'm developing
Bzo-Backend
Bootstrapping Compiler for the Bzo programming language.
Go-Grapher
A golang library for simple data visualizations
LatticeSAT
A Somewhat New Approach to SAT Solving
superoptimization
A simple superoptimizer written in golang and using z3 for verification
ByteSAT
A C function for solving 8-bit SAT problems using bit manipulation for brute force. Surprisingly fast.
binplot
Tool for visualizing and inspecting arbitrary binary files
Bzo-Standard-Library
A Standard Library for Bzo
charlesrosenbauer
Profile README I guess
Codeviz
A code visualization tool I'm working on.
darreg
A lightweight gui library
DempsterShafer
Dempster Shafer Visualization
fastgui
Simple, lightweight gui library in C
gromov
Tool for specifying, serializing, deserializing, and interactively visualizing data structures
isomorphism
Playing around with isomorphism checking algorithms
Latmap
Prototype for a weird new type of data structure for searching partial orderings
libforest
P2P Library
proof
Proof assistant focused on minimalism, automation, and visualization
ShadowSMT
An Experimental SMT Solver
SimpleMedia
Data formats for media files focused on simplicity [WIP]
Superoptimizer
Superoptimization Experiments
Visual-VM
VM Compilation Target with Visualization Support