Highlights
- Pro
Block or Report
Block or report jawline
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
ExpoSEJS/ExpoSE Public
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
-
c8hardcaml Public
An implementation of a CHIP-8 machine for FPGAs in Hardcaml with a custom assembler for writing test programs
OCaml 2




