johnwickerson

johnwickerson's Stars

• jbtule/cdto

  Finder Toolbar app to open the current directory in the Terminal

  Language:Objective-C2.3k6145230

• ymherklotz/verismith

  Verilog Fuzzer to test the major simulators and sythesisers by generating random, valid Verilog.

  Language:Haskell92138411

• johnwickerson/memalloy

  Memory consistency modelling using Alloy

  Language:OCaml287186

• c4-project/c4f

  The C4 Concurrent C Fuzzer

  Language:OCaml1432481

• johnwickerson/netlistfuzz

  Language:TeX3401