Charles Rosenbauer (@charlesrosenbauer)
github

charlesrosenbauer

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    39
  • Global Rank 406,458 (Top 15 %)
  • Followers 38
  • Following 20
  • Registered about 9 years ago
  • Most used languages
    C
         60.0 %
    Go
         30.0 %
    Haskell
         10.0 %
  • Location πŸ‡ΊπŸ‡Έ United States
  • Country Total Rank 82,464
  • Country Ranking
    Haskell
         937
    C
         7,791

Top repositories

1

Microarchitecture-and-You

A Web of Articles to help programmers understand their hardware
15
star
2

Bzo-Compiler

Compiler for a custom programming language I'm developing
Haskell
9
star
3

SLM

A "Small Language Model", implemented in 18 lines of C code.
C
6
star
4

Codebase-Explorer

A visualization tool for large codebases
Go
2
star
5

proof

Proof assistant focused on minimalism, automation, and visualization
C
1
star
6

ImageAnnealing

C
1
star
7

LatticeSAT

A Somewhat New Approach to SAT Solving
C
1
star
8

HTM-Model

A simple implementation of Hierarchical Temporal Memory
C
1
star
9

Go-Grapher

A golang library for simple data visualizations
Go
1
star
10

Bzo-Backend

Bootstrapping Compiler for the Bzo programming language.
C
1
star
11

superoptimization

A simple superoptimizer written in golang and using z3 for verification
Go
1
star