Pinned Repositories
bap
Binary Analysis Platform
bap
Binary Analysis Platform
bap-testsuite
BAP test suite
eoc
A compiler for a subset of Typed Racket.
FP1
final project exploration #1: learn Github, play with a Racket library
FP3
final project exploration #2: use a Racket library that will be part of your final project
FrontC
An OCaml library providing a C parser and lexer
lang-n-change
A tool for transforming languages.
ocamlchess
UCI-compatible chess engine in OCaml.
cbat_tools
Program analysis tools developed at Draper on the CBAT project.
bmourad01's Repositories
bmourad01/ocamlchess
UCI-compatible chess engine in OCaml.
bmourad01/FP1
final project exploration #1: learn Github, play with a Racket library
bmourad01/eoc
A compiler for a subset of Typed Racket.
bmourad01/bap
Binary Analysis Platform
bmourad01/bap-testsuite
BAP test suite
bmourad01/FP3
final project exploration #2: use a Racket library that will be part of your final project
bmourad01/FrontC
An OCaml library providing a C parser and lexer
bmourad01/lang-n-change
A tool for transforming languages.