Updated : 2019-10-18 01:00:17 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

451
New

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

2
Increase rate

( New / Total ) * 100

0.44%
Activity
Update

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

7
Update Rate

( Update / Total ) * 100

1.55%
Sleeping

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

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

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

234

Top Star Repos

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

  1. 251
    seL4 specification and proofs
  2. 200
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 195
    Proving leftpad correct in a dozen different ways
  4. 125
    Formal models of core Elasticsearch algorithms
  5. 109
    Proof-Code Cogeneration
  6. 69
    Verified iptables Firewall Ruleset Analysis
  1. 63
    git mirror of the Munich isabelle hg repository
  2. 36
    ๐Ÿ’›โ™กโ™ฅ๐Ÿ’œ
  3. 30

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

New Repos

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

Users

Total

/search/users?q=language:Isabelle

87
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.18