charlesrosenbauer/proof charlesrosenbauer/proof

  • Stars
    star
    1
  • Language
    C
  • Created over 2 years ago
  • Updated over 1 year ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
charlesrosenbauer/proof
github

charlesrosenbauer

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Proof assistant focused on minimalism, automation, and visualization

More 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

ImageAnnealing

C
1
star
6

LatticeSAT

A Somewhat New Approach to SAT Solving
C
1
star
7

HTM-Model

A simple implementation of Hierarchical Temporal Memory
C
1
star
8

Go-Grapher

A golang library for simple data visualizations
Go
1
star
9

Bzo-Backend

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

superoptimization

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