IRI France R&D Open Organisation

Repositories

• reach

  symbolic reachability checker

  simulation verification symbolic safety model-checking ic3 circuit
  Go MIT 3 11 1 0 Updated Jan 31, 2019

• gini

  A fast SAT solver

  testing resolution verification artificial-intelligence fuzzing concurrent logic-programming
  Go MIT 12 111 4 0 Updated Jan 31, 2019

• iri-labs.com

  website for iri-labs.com
  Go 0 0 0 0 Updated Jan 31, 2019

• fx

  Binary fixed point numbers

  golang generator trigonometry numbers fixed-point cordic
  Go 2 6 1 0 Updated Jun 5, 2018

• dbc

  Embeddable dynamic bit sequence compressor using arithmetic coding

  entropy embeddable dynamic arithmetic-coding
  Go 2 6 0 0 Updated May 30, 2018

• bb

  bit io
  Go 1 13 0 0 Updated May 28, 2018

• suites

  benchmark suites for gini bench tool
  1 0 0 0 Updated Jul 16, 2016