Pinned Loading

1. dafny-segtree dafny-segtree Public

   Verified implementation of a segment tree

   Dafny

2. soi-manim soi-manim Public

   Animations for some algorithms topics for teaching in Swiss Olympiad in Informatics using manim (3Blue1Brown library)

   Python

3. lambox-to-java-in-arend lambox-to-java-in-arend Public

   Compiling λ-box terms to Java implemented in Arend

   Java

4. Arend Arend Public

   Forked from arend-lang/Arend

   Fork of Arend for implementing Strings in Arend

   Java 1

5. foundational-boogie foundational-boogie Public

   Forked from viperproject/foundational-boogie

   Fork for implementing a practical subset of Boogie map semantics in Isabelle/HOL (see maps_experiments branches)

   Isabelle 1

6. boogie-proofgen boogie-proofgen Public

   Forked from viperproject/boogie-proofgen

   Fork to merge newest Boogie and Proof Generation

   Boogie 1