Updated : 2018-02-23 01:03:25 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

288
New

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

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

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

5
Update Rate

( Update / Total ) * 100

1.74%
Sleeping

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

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

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

133

Top Star Repos

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

  1. 173
    seL4 specification and proofs
  2. 138
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 69
    Proof-Code Cogeneration
  4. 54
    Verified iptables Firewall Ruleset Analysis
  5. 37
    git mirror of the Munich isabelle hg repository
  6. 24
    Formal models of core Elasticsearch algorithms
  1. 9
    A verified permissioned centralized Blockchain for Isabelle/HOL
  2. 8
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  3. 6
    Isabelle/HOL proofs about the eChronos RTOS
  4. 5
    ZeroTier binary releases and packages
  5. 5
    A best-first-search theorem prover implemented in Isabelle
  6. 5
    Isabelle formalization of binary consensus
  7. 4
    development version of seL4 proofs
  8. 4
    A formalisation of Sturm&#39;s theorem in Isabelle with an executable decision procedure
  9. 4
    NaDeA (Natural Deduction Assistant) - With a Formalization in Isabelle
  10. 4
    An implementation of Hoare and He&#39;s Unifying Theories of Programming in Isabelle
  11. 4
    A formalisation of NBG set theory in Isabelle/HOL
  12. 3
    Kinship Analysis software for field workers in Anthropology and Bible translation
  13. 3
    Isabelle Algebra Sandbox
  14. 3
    Fully verified model checker for realtime systems
  15. 3
    Hardware decoding net model in Isabelle/HOL
  16. 2
    Self study log of the book
  17. 2
    Git mirror of https://isabelle.in.tum.de/repos/isabelle
  18. 2
    A theorem prover for higher-order logic based on proof planning.

New Repos

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

Users

Total

/search/users?q=language:Isabelle

62
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.65