Updated : 2018-06-24 01:03:18 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

330
New

/search/repositories?q=language:Isabelle+created:2018-06-23

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

/search/repositories?q=language:Isabelle+pushed:2018-06-23

8
Update Rate

( Update / Total ) * 100

2.42%
Sleeping

/search/repositories?q=language:Isabelle+pushed:<2017-06-23

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

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

159

Top Star Repos

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

  1. 182
    seL4 specification and proofs
  2. 167
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 75
    Proof-Code Cogeneration
  4. 59
    Verified iptables Firewall Ruleset Analysis
  5. 47
    git mirror of the Munich isabelle hg repository
  6. 39
    Formal models of core Elasticsearch algorithms
  1. 17
    Sail architecture definition language
  2. 13

  3. 10
    A verified permissioned centralized Blockchain for Isabelle/HOL
  4. 8
    Theory Exploration for Isabelle using HipSpec
  5. 8
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  6. 7
    An implementation of Hoare and He&#39;s Unifying Theories of Programming in Isabelle
  7. 6
    Isabelle/HOL proofs about the eChronos RTOS
  8. 6
    ZeroTier binary releases and packages
  9. 6
    A best-first-search theorem prover implemented in Isabelle
  10. 6
    Isabelle formalization of binary consensus
  11. 5
    NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  12. 4
    Proving leftpad correct in a dozen different ways
  13. 4
    Fully verified model checker for realtime systems
  14. 4
    Git mirror of https://isabelle.in.tum.de/repos/isabelle
  15. 4
    development version of seL4 proofs
  16. 4
    A formalisation of Sturm&#39;s theorem in Isabelle with an executable decision procedure
  17. 4
    A formalisation of NBG set theory in Isabelle/HOL
  18. 3
    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
    Hardware decoding net model in Isabelle/HOL

New Repos

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

Users

Total

/search/users?q=language:Isabelle

66
Followers 100+

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

0
Repos per User

repos.Total / users.Total

5.00