Tomas Balyo (@biotomas)
github

biotomas

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    57
  • Global Rank 310,245 (Top 11 %)
  • Followers 26
  • Following 26
  • Registered about 12 years ago
  • Most used languages
    C++
         33.3 %
    JavaScript
         16.7 %
    Python
         16.7 %
    Java
         16.7 %
    SAS     16.7 %
  • Location 🇩🇪 Germany
  • Country Total Rank 15,060
  • Country Ranking
    SAS     8
    C++
         1,192

Top repositories

1

ipasir

The Standard Interface for Incremental Satisfiability Solving
C++
47
star
2

hordesat

C++
4
star
3

SatHelper

A tool to improve Boolean satisfiability (SAT) solver user's life
Python
3
star
4

freelunch

Satisfiability based automated planning
SAS
2
star
5

solitaireNumber

A simple performance engineering exercise
Java
1
star
6

htmlMiniGames

Mini games written in HTML and JavaScript
JavaScript
1
star