Skip to content

Explore GitHub

Trending in open source

See what the GitHub community is most excited about this week.

  1. Star

    seL4 / l4v

    seL4 specification and proofs

    Isabelle • Built by @lsf37 @davidg2603 @talsewell @mn200 @whalefur

  2. Star

    diekmann / Iptables_Semantics

    Verified iptables Firewall Ruleset Analysis

    Isabelle • Built by @diekmann @larsrh @jcaesar @ammbauer

  3. Star

    seL4 / isabelle

    git mirror of the Munich isabelle hg repository

    Isabelle • Built by @invalid-email-address @larsrh @cezaryka @lammich @lsf37

  4. Star

    meiersi / scyther-proof

    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

    Isabelle • Built by @meiersi @jshs @lochbihl

  5. Star

    prathamesh-t / Tangle-Isabelle

    Isabelle • Built by @prathamesh-t @siddhartha-gadgil

  6. Star

    3of8 / sturm

    A formalisation of Sturm's theorem in Isabelle with an executable decision procedure

    Isabelle • Built by @3of8

  7. Star

    javra / isabelle_algebra

    Isabelle Algebra Sandbox

    Isabelle • Built by @javra

  8. Star

    ramanala / StorageStackSemantics

    Isabelle • Built by @ramanala @vijay03

  9. Star

    davidlazar / halicore

    Translator from GHC Core to Isabelle/HOLCF

    Isabelle • Built by @dagit @davidlazar @atomb @caylee-hogg

  10. Star

    jamiepg1 / isabelle

    working directory for Isabelle proof scripts

    • Built by @avigad @johoelzl @Keldacc

  11. Star

    tarc / concrete-semantics-book

    Self study log of the book

    Isabelle • Built by @tarc

  12. Star

    NICTA / l4v

    development version of seL4 proofs

    Isabelle • Built by @lsf37 @corlewis @tobycmurray @davidg2603

  13. Star

    Alasdair / Thesis

    My Thesis

    Isabelle • Built by @Alasdair

  14. Star

    larsrh / hol-optics

    Formalized optics in HOL

    Isabelle • Built by @larsrh

  15. Star

    jianqili / isabelle

    git mirror of the Munich isabelle hg repository

    • Built by @invalid-email-address @cezaryka @larsrh @lsf37 @lammich

  16. Star

    samth / samth.github.com

    Web page

    Isabelle • Built by @samth

  17. Star

    larsrh / sorted

    Sorting algorithms in Isabelle/HOL

    Isabelle • Built by @larsrh

  18. Star

    ag91 / isa_btree

    Isabelle • Built by @Andrea91 @tomjridge

  19. Star

    jamiepg1 / thesis-2

    Master's thesis

    • Built by @01mf02 @drievko

  20. Star

    MerelyAPseudonym / isabelle

    Tracks http://isabelle.in.tum.de/repos/isabelle/ with git-hg

    Isabelle • Built by @cezaryka @larsrh @lsf37 @lammich @noschinl

  21. Star

    diekmann / topoS

    Isabelle • Built by @diekmann @larsrh

  22. Star

    Alasdair / FM2014

    Isabelle • Built by @Alasdair @victorgomes

  23. Star

    tjark / ML-for-NTS

    Modal Logics for Nominal Transition Systems

    Isabelle • Built by @tjark

  24. Star

    01mf02 / thesis

    Master's thesis

    Isabelle • Built by @01mf02 @drievko

  25. Star

    isabelle-utp / utp-main

    An implementation of Hoare and He's Unifying Theories of Programming in Isabelle

    Isabelle • Built by @simondfoster @SamuelCanham

ProTip! Looking for most forked Isabelle repositories? Try this search
Something went wrong with that request. Please try again.