Updated : 2018-12-18 01:03:02 UTC

Respositories

Counts
Total

/search/repositories?q=language:Isabelle

362
New

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

0
Increase rate

( New / Total ) * 100

0.00%
Activity
Update

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

6
Update Rate

( Update / Total ) * 100

1.66%
Sleeping

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

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

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

196

Top Star Repos

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

  1. 214
    seL4 specification and proofs
  2. 189
    A Lem formalization of EVM and some Isabelle/HOL proofs
  3. 86
    Proof-Code Cogeneration
  4. 74
    Proving leftpad correct in a dozen different ways
  5. 68
    High-assurance implementation of (a variant of) the Ouroboros protocol
  6. 64
    Verified iptables Firewall Ruleset Analysis
  1. 59
    Formal models of core Elasticsearch algorithms
  2. 52
    git mirror of the Munich isabelle hg repository
  3. 21

  4. 20
    lots of mini experiments in various languages
  5. 12
    An implementation of Hoare and He&#39;s Unifying Theories of Programming in Isabelle
  6. 11
    A best-first-search theorem prover implemented in Isabelle
  7. 10
    A verified permissioned centralized Blockchain for Isabelle/HOL
  8. 10
    An experimental implementation of HoTT in the interactive proof assistant Isabelle
  9. 9
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
  10. 8
    Isabelle/HOL proofs about the eChronos RTOS
  11. 8
    Theory Exploration for Isabelle using HipSpec
  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
    development version of seL4 proofs
  19. 5
    A formalisation of Sturm&#39;s theorem in Isabelle with an executable decision procedure
  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:2018-12-17&sort=stars&order=desc&per_page=12

Users

Total

/search/users?q=language:Isabelle

73
Followers 100+

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

0
Repos per User

repos.Total / users.Total

4.96