Florian Schanda (@florianschanda)
github

florianschanda

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    173
  • Global Rank 137,583 (Top 5 %)
  • Followers 30
  • Following 2
  • Registered over 12 years ago
  • Most used languages
    Python
         100.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 8,098
  • Country Ranking
    Python
         1,154

Top repositories

1

miss_hit

MATLAB Independent, Small & Safe, High Integrity Tools - code formatter and more
Python
161
star
2

smtlib_schanda

SMTLIB benchmarks assembled by Florian Schanda
7
star
3

PyMPF

Arbitrary precision IEEE-754 implementation in Python for generating SMTLIB float benchmarks
Python
4
star
4

PyVCG

Verification Condition Generator
Python
2
star