Simon Wimmer (@wimmers)
github

wimmers

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    31
  • Global Rank 477,790 (Top 17 %)
  • Followers 15
  • Following 6
  • Registered over 12 years ago
  • Most used languages
    Isabelle     30.0 %
    OCaml
         20.0 %
    TypeScript
         20.0 %
    Python
         20.0 %
    JavaScript
         10.0 %
  • Location 🇩🇪 Germany
  • Country Total Rank 21,064
  • Country Ranking
    Isabelle     3
    OCaml
         59
    TypeScript
         3,724

Top repositories

1

munta

Fully verified model checker for realtime systems
Isabelle
15
star
2

food-logger

TypeScript
3
star
3

food-logger-backend

Python
3
star
4

timeliner

Timeline Puzzle Game
TypeScript
2
star
5

poly-reductions

Polynomial-time reductions in Isabelle/HOL
Isabelle
2
star
6

archive-of-graph-formalizations

This informal "Archive of Graph Formalizations" collects different formalizations of graphs from the Isabelle/HOL universe to compare them and to eventually unify the efforts.
Isabelle
2
star
7

push-tasks

Push tasks to competitions.isabelle.systems
Python
1
star
8

ts-re-compiler

OCaml
1
star
9

pensieve

Explore and organize your thoughts like Dumbledore
JavaScript
1
star
10

destinator

OCaml
1
star