Isabelle Posts

Latest Isabelle related posts with mentions of open-source projects

  • SeL4 Specification and Proofs

    1 project | news.ycombinator.com | 10 months ago

  • Tetrisssss

    1 project | /r/chatmedi | 11 months ago

  • Elimination of programmers

    2 projects | /r/programming | over 1 year ago

  • Google Announces KataOS and Sparrow

    3 projects | news.ycombinator.com | over 1 year ago

  • Thoughts on the Rascal meta-programming language

    3 projects | /r/ProgrammingLanguages | over 1 year ago

  • Formal verification of folklore and miscellaneous results in number theory

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

  • Formally Proven Binary Format Parsers

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

  • ELMO.BAS, a drawing of a stick figure

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

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

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

  • Proofs and specifications

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

  • Proofs and specifications

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

  • Proofs and specifications

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

  • Proofs and specifications

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

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

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

  • Black-box transactional safety checker based on cycle detection

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

  • Black-box transactional safety checker based on cycle detection

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

  • Black-box transactional safety checker based on cycle detection

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

  • Elle, the New Tool from Aphyr

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

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

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

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

    3 projects | /r/apljk | over 2 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 | over 2 years ago