Isabelle Posts

Latest Isabelle related posts with mentions of open-source projects

  • SeL4 Specification and Proofs

    1 project | news.ycombinator.com | about 1 year ago

  • Tetrisssss

    1 project | /r/chatmedi | about 1 year ago

  • Elimination of programmers

    2 projects | /r/programming | almost 2 years ago

  • Google Announces KataOS and Sparrow

    3 projects | news.ycombinator.com | almost 2 years ago

  • Thoughts on the Rascal meta-programming language

    3 projects | /r/ProgrammingLanguages | almost 2 years ago

  • Formal verification of folklore and miscellaneous results in number theory

    1 project | news.ycombinator.com | about 2 years ago

  • Formally Proven Binary Format Parsers

    2 projects | news.ycombinator.com | about 2 years ago

  • ELMO.BAS, a drawing of a stick figure

    1 project | /r/QBart | over 2 years ago

  • The intro theme for both GORILLA.BAS and NIBBLES.BAS in QBasic

    1 project | /r/QBmusic | over 2 years ago

  • Proofs and specifications

    1 project | /r/RISCV | over 2 years ago

  • Proofs and specifications

    1 project | /r/kernel | over 2 years ago

  • Proofs and specifications

    1 project | /r/computerscience | over 2 years ago

  • Proofs and specifications

    1 project | /r/seL4 | over 2 years ago

  • On Hubris and Humility: developing an OS for robustness in Rust [video]

    3 projects | news.ycombinator.com | almost 3 years ago

  • Black-box transactional safety checker based on cycle detection

    1 project | /r/Database | almost 3 years ago

  • Black-box transactional safety checker based on cycle detection

    1 project | /r/Clojure | almost 3 years ago

  • Black-box transactional safety checker based on cycle detection

    1 project | /r/isabelle | almost 3 years ago

  • Elle, the New Tool from Aphyr

    1 project | news.ycombinator.com | almost 3 years ago

  • State in a smartphone: Inside Ukraine’s effort to replace bureaucracy with an app

    1 project | /r/europe | almost 3 years ago

  • how to read bytes from stdin in a j script?

    3 projects | /r/apljk | almost 3 years ago

  • I'm a freelancer and I've got a customer who is asking for USB driver for a new device. They want it written in c++ and I said I'd only consider creating and supporting it if it was written in Rust. 🤷‍♂️

    1 project | /r/programmingcirclejerk | almost 3 years ago