Showing results for Isabel
GitHub Repo
https://github.com/isabellabenabaye/isabella-b.com
isabellabenabaye/isabella-b.com
💻 Source code of my personal website
GitHub Repo
https://github.com/albertqjiang/Portal-to-ISAbelle
albertqjiang/Portal-to-ISAbelle
https://albertqjiang.github.io/Portal-to-ISAbelle/
GitHub Repo
https://github.com/dominique-unruh/scala-isabelle
dominique-unruh/scala-isabelle
A Scala library for controlling/interacting with Isabelle
GitHub Repo
https://github.com/ging/isabel
ging/isabel
Isabel is a multipoint group collaboration tool for performing distributed congresses, classrooms or meetings over the Internet
GitHub Repo
https://github.com/seL4/isabelle
seL4/isabelle
git mirror of the Munich isabelle hg repository
GitHub Repo
https://github.com/isabelle-prover/mirror-isabelle
isabelle-prover/mirror-isabelle
Git mirror of https://isabelle.in.tum.de/repos/isabelle
GitHub Repo
https://github.com/yurisuika/Isabella
yurisuika/Isabella
A continuation of the Isabella texture pack for Minecraft.
GitHub Repo
https://github.com/pirapira/eth-isabelle
pirapira/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
GitHub Repo
https://github.com/trvedata/crdt-isabelle
trvedata/crdt-isabelle
Victor B. F. Gomes, Martin Kleppmann, Dominic P. Mulligan, and Alastair R. Beresford. Verifying Strong Eventual Consistency in Distributed Systems. In OOPSLA and Proceedings of the ACM on Programming Languages (PACMPL), 2017.
GitHub Repo
https://github.com/chrisvfritz/isabella