Updated : 2019-12-11 01:12:55 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

467
New

/search/repositories?q=language:Isabelle+created:2019-12-10

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Isabelle+pushed:2019-12-10

9
Update Rate

( Update / Total ) * 100

1.93%
Sleeping

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

282
Stars
Star 1000+

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

0
Star 100+

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

5
Sum stars of Top 30 repos

sum ( repos.stars )

1438
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 )

252

Top Star Repos

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

  1. 263
    seL4 specification and proofs
  2. 205
    Proving leftpad correct in a dozen different ways
  3. 205
    A Lem formalization of EVM and some Isabelle/HOL proofs
  4. 134
    Formal models of core Elasticsearch algorithms
  5. 114
    Proof-Code Cogeneration
  6. 78
    High-assurance implementation of the Ouroboros protocol family
  1. 70
    Verified iptables Firewall Ruleset Analysis
  2. 68
    git mirror of the Munich isabelle hg repository
  3. 37
    ๐Ÿ’›โ™กโ™ฅ๐Ÿ’œ
  4. 31

  5. 27
    An experimental implementation of homotopy type theory in the interactive proof assistant Isabelle
  6. 22
    lots of mini experiments in various languages
  7. 17
    Theory Exploration for Isabelle using HipSpec
  8. 17
    An implementation of Hoare and He&#39;s Unifying Theories of Programming in Isabelle
  9. 16
    A best-first-search theorem prover implemented in Isabelle
  10. 13
    Gazelle = Generalized Elle. A flexible, reusable verified compiler.
  11. 10
    My solutions to exercises in &quot;Concrete Semantics&quot; (Tobias Nipkow, Gerwin Klein) These are for 2014-2015 version of the book.
  12. 10
    A verified permissioned centralized Blockchain for Isabelle/HOL
  13. 9
    Isabelle/HOL proofs about the eChronos RTOS
  14. 9
    Lower Size Bounds for Sorting Networks
  15. 9
    Formal verification of folklore and miscellaneous results in number theory
  16. 9
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  17. 8
    Fully verified model checker for realtime systems
  18. 8
    Git mirror of https://isabelle.in.tum.de/repos/isabelle
  19. 8
    NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  20. 8
    Isabelle LLVM Code Generator and Refinement
  21. 8
    Hardware decoding net model in Isabelle/HOL
  22. 7
    Hardware &amp; Software Verification

New Repos

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

Users

Total

/search/users?q=language:Isabelle

88
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.31