fniksic

fniksic's Stars

• google/fuzztest

  Language:C++794196479

• angelhof/flumina

  A parallel programming model for online applications with complex synchronization requirements.

  Language:Erlang15401

• jabolopes/bessel

  Bessel programming language and environment

  Language:Haskell4200

• fniksic/mathgen

  A script for crawling the Mathematics Genealogy Project

  Language:Python3103

• fniksic/iknet

  Repozitorij za razmjenu koda na grupi za pripremu za natjecanja u IK NET

  Language:C++2501

• mihejk/java2012-sonar

  Language:Java2

• fniksic/pdl-tableaux

  Tableau-based SAT solver for propositional dynamic logic

  1100