Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
Interval Arithmetic Prover Framework.
-
IBR directory access tool
-
Basic structure of tex files to write a proposal and thesis.
-
Manage IBR coffee costs and fair machine cleaning
-
-
Basic structure of tex files to write a proposal and thesis.
-
-
-
Square-in-circle interval arithmetic proofs.
-
-
Rust C++ interop
-
c_cpp_properties.json file for Contiki+Inga workspace in VScode
-
-
-
-
Python Utils for the SoCG 2020 CGSHOP Competition. It provides simple reading/writing tools for instances and solutions as well as checker. This library is also used internally by us in the server.
-
SGX highlighting for VSCode
-
VSCode Theme
-
Basic structure of tex files to write a proposal and thesis.
-
