Popular repositories Loading

1. gkat-automata-learning gkat-automata-learning Public

   Guarded Kleene Algebra with Tests: Automata Learning

   OCaml 1

2. stefanzetzsche.github.io stefanzetzsche.github.io Public

   stefanzetzsche.com

   HTML

3. dafny-well-behaved-coalgebraic-semantics dafny-well-behaved-coalgebraic-semantics Public

   Well-Behaved (Co)algebraic Semantics of Regular Expressions in Dafny

   Dafny

4. cpython cpython Public

   Forked from python/cpython

   The Python programming language

   Python

5. soteria soteria Public

   Forked from soteria-tools/soteria

   Sound static analysis for the masses.

   OCaml

6. bolero bolero Public

   Forked from camshaft/bolero

   property testing and verification front-end for Rust

   C