GJDuck/SAT.js GJDuck/SAT.js

  • Stars
    star
    45
  • Rank 620,087 (Top 13 %)
  • Language
    JavaScript
  • License
    GNU General Publi...
  • Created about 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
GJDuck/SAT.js
github

GJDuck

Reviews

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

Repository Details

A JavaScript SAT solver (http://www.comp.nus.edu.sg/~gregory/sat/)

More Repositories

1

e9patch

A powerful static binary rewriting tool
C++
933
star
2

e9afl

AFL binary instrumentation
C++
289
star
3

EnvFuzz

Fuzz anything with Program Environment Fuzzing
C++
277
star
4

libf

C++ as a Pure Functional Programming Language
C++
180
star
5

LowFat

Lean C/C++ Bounds Checking with Low-Fat Pointers
C++
175
star
6

GC

A lightweight conservative garbage collector for C/C++
C
116
star
7

EffectiveSan

Runtime type and bounds-error checking for C/C++
C++
101
star
8

RedFat

A binary hardening system
C++
94
star
9

e9syscall

A system call interception tool
Shell
52
star
10

BlueFat

Fully Randomized Pointers
C
12
star
11

SMCHR

SMCHR - Satisfiability Modulo Constraint Handling Rules
C
11
star
12

libredfat

A hardened malloc() replacement
C
8
star