bblum/landslide bblum/landslide

  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    C
  • License
    BSD 3-Clause "New...
  • Created over 7 years ago
  • Updated almost 6 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
bblum/landslide
github

bblum

Reviews

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

Repository Details

stateless model checking for thread libraries, kernels, and transactional memory

More Repositories

1

landslide-simics

the landslide codebase (old simics version)
C
9
star
2

sigbovik

stuff I have done for sigbovik -- http://sigbovik.org
TeX
7
star
3

wordle

automatic solver for the hit game "hello wordl"
Haskell
4
star
4

landslide-old

Version of landslide for students to use.
C
1
star
5

oopsla-quicksand

just a little something i made for oopsla
C
1
star
6

atomic-all-nighters

static context checking for kernel codebases
C
1
star
7

aoc

Advent of Code
Haskell
1
star
8

bistromath

a chess engine i wrote
C
1
star