Updated : 2018-08-18 01:03:15 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

339
New

/search/repositories?q=language:Isabelle+created:2018-08-17

1
Increase rate

( New / Total ) * 100

0.29%
Activity
Update

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

11
Update Rate

( Update / Total ) * 100

3.24%
Sleeping

/search/repositories?q=language:Isabelle+pushed:<2017-08-17

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

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

170

Top Star Repos

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

  1. 191
    seL4 specification and proofs
  2. 177
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 77
    Proof-Code Cogeneration
  4. 64
    Proving leftpad correct in a dozen different ways
  5. 60
    Verified iptables Firewall Ruleset Analysis
  6. 49
    git mirror of the Munich isabelle hg repository
  1. 45
    Formal models of core Elasticsearch algorithms
  2. 19

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

New Repos

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

Users

Total

/search/users?q=language:Isabelle

68
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.99