Popular repositories Loading

1. sanchezocegueda sanchezocegueda Public

   Config files for my GitHub profile.

2. sanchezocegueda.github.io sanchezocegueda.github.io Public

   HTML

3. uclid-smoke uclid-smoke Public

   Forked from uclid-org/uclid

   UCLID5: formal modeling, verification, and synthesis of computational systems

   Scala

4. drug-sna drug-sna Public

   Jupyter Notebook

5. self-study self-study Public

   Notes from self-studying topics

6. finch finch Public

   The Finch Proof Assistant

   Rust