MichaΕ‚ Knapik (@MichalKnapik)
github

MichalKnapik

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    13
  • Global Rank 834,067 (Top 29 %)
  • Followers 7
  • Following 9
  • Registered over 12 years ago
  • Most used languages
    C
         42.9 %
    Python
         28.6 %
    Java
         14.3 %
    C++
         14.3 %
  • Location πŸ‡΅πŸ‡± Poland
  • Country Total Rank 6,913
  • Country Ranking
    C
         567
    C++
         1,428
    Java
         2,396
    Python
         3,887

Top repositories

1

PTA2SMT

Parametric Timed Automata SMT checker.
C++
3
star
2

spatula

Parametric synthesis tool for a branching action temporal logic.
C
3
star
3

automata-net-reduction-tool

C
2
star
4

general-automata-net-reduction-tool

Java
2
star
5

dd-net-checker

Python
1
star
6

BMinor-compiler

As a refresher in pureish C I've decided to implement a compiler, following Douglas Thain's course.
C
1
star
7

bibtex2html

Takes a .bib bibTeX file and produces html output
Python
1
star