Popular repositories Loading

1. SMTCoqZ3 SMTCoqZ3 Public

   Extending the SMTCoq plugin with the Z3 SMT solver.

   Coq 2

2. photoception photoception Public

   Python 1

3. ricagraca.github.io ricagraca.github.io Public

   A little CV page, on my github account

   CSS

4. emacs-configuration emacs-configuration Public

   This repository is for my emacs configuration file. I often change from one computer to another, it is good to have an emacs configuration file so I can easily setup in any computer that I want.

   Emacs Lisp

5. shuttle shuttle Public

   Forked from awslabs/shuttle

   Shuttle is a library for testing concurrent Rust code

   Rust

6. rust-examples rust-examples Public

   This is just a project with some rust examples.

   Makefile