Updated : 2019-02-23 01:03:39 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

377
New

/search/repositories?q=language:Isabelle+created:2019-02-22

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Isabelle+pushed:2019-02-22

8
Update Rate

( Update / Total ) * 100

2.12%
Sleeping

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

223
Stars
Star 1000+

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

0
Star 100+

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

3
Sum stars of Top 30 repos

sum ( repos.stars )

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

203

Top Star Repos

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

  1. 217
    seL4 specification and proofs
  2. 188
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 145
    Proving leftpad correct in a dozen different ways
  4. 92
    Proof-Code Cogeneration
  5. 71
    Formal models of core Elasticsearch algorithms
  6. 69
    High-assurance implementation of (a variant of) the Ouroboros protocol
  1. 66
    Verified iptables Firewall Ruleset Analysis
  2. 54
    git mirror of the Munich isabelle hg repository
  3. 22

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

New Repos

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

Users

Total

/search/users?q=language:Isabelle

75
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.03