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