comme043

Pinned Repositories

• ableC-channels

  An ableC extension that introduces channels in the model of Go

  Language:SystemVerilog00

• ableC-lvars

  Lattice variables, implemented as a language extension to ableC

  Language:SystemVerilog00

• ableC-run

  An ableC extension that introduces a language construct for spawning pthreads

  Language:SystemVerilog00

comme043's Repositories