xiw/libo xiw/libo

  • Stars
    star
    72
  • Rank 435,668 (Top 9 %)
  • Language
    Assembly
  • License
    BSD 2-Clause "Sim...
  • Created over 12 years ago
  • Updated over 9 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xiw/libo
github

xiw

Reviews

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

Repository Details

Integer arithmetic with overflow detection

More Repositories

1

stack

A static checker for identifying unstable code.
C++
359
star
2

mini-mc

minimal symbolic model checker & fuzzer
Python
111
star
3

arithcc

Lean
13
star
4

homebrew-jos

Ruby
6
star
5

sparse

C
4
star
6

splay

sparse => llvm
C
3
star
7

jos-15au

CSE 451 15au
C
2
star
8

sky

A JavaScript library for visualizing celestial objects.
JavaScript
1
star