Updated : 2018-10-23 01:03:16 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

356
New

/search/repositories?q=language:Isabelle+created:2018-10-22

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Isabelle+pushed:2018-10-22

10
Update Rate

( Update / Total ) * 100

2.81%
Sleeping

/search/repositories?q=language:Isabelle+pushed:<2017-10-22

192
Stars
Star 1000+

/search/repositories?q=language:Isabelle+stars:>=1000

0
Star 100+

/search/repositories?q=language:Isabelle+stars:>=100

2
Sum stars of Top 30 repos

sum ( repos.stars )

799
Forks
Fork 1000+ Repos

/search/repositories?q=language:Isabelle+forks:>=1000

0
Fork 100+

/search/repositories?q=language:Isabelle+forks:>=100

0
Sum forks of Top 30 repos

sum ( repos.forks )

171

Top Star Repos

/search/repositories?q=language:Isabelle&sort=stars&order=desc&per_page=30

  1. 205
    seL4 specification and proofs
  2. 186
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 70
    Proving leftpad correct in a dozen different ways
  4. 60
    Verified iptables Firewall Ruleset Analysis
  5. 50
    git mirror of the Munich isabelle hg repository
  6. 49
    Formal models of core Elasticsearch algorithms
  1. 19

  2. 19
    lots of mini experiments in various languages
  3. 10
    A verified permissioned centralized Blockchain for Isabelle/HOL
  4. 10
    An experimental implementation of HoTT in the interactive proof assistant Isabelle
  5. 10
    A best-first-search theorem prover implemented in Isabelle
  6. 10
    An implementation of Hoare and He&#39;s Unifying Theories of Programming in Isabelle
  7. 8
    Isabelle/HOL proofs about the eChronos RTOS
  8. 8
    Theory Exploration for Isabelle using HipSpec
  9. 8
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  10. 7
    ZeroTier binary releases and packages
  11. 7
    Isabelle formalization of binary consensus
  12. 6
    NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  13. 6
    Formal verification of folklore and miscellaneous results in number theory
  14. 5
    Fully verified model checker for realtime systems
  15. 5
    Git mirror of https://isabelle.in.tum.de/repos/isabelle
  16. 5
    development version of seL4 proofs
  17. 5
    A formalisation of Sturm&#39;s theorem in Isabelle with an executable decision procedure
  18. 5
    A formalisation of NBG set theory in Isabelle/HOL
  19. 4
    Kinship Analysis software for field workers in Anthropology and Bible translation
  20. 3
    Self study log of the book
  21. 3
    Isabelle Algebra Sandbox

New Repos

/search/repositories?q=language:Isabelle+created:2018-10-22&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Isabelle

71
Followers 100+

/search/users?q=language:Isabelle+followers:>=100

0
Repos per User

repos.Total / users.Total

5.01