Pinned Repositories
liri-browser
A minimalistic material design web browser created for Papyros
megazeux
Official MegaZeux git repository
MiEIBot
One of us
MIRAI
Rust mid-level IR Abstract Interpreter
mobility-database-catalogs
The Catalogs of Sources of the Mobility Database.
nixpkgs
Nix Packages collection
novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
OrpheuShare
rugo
A simple and minimalistic roguelike, written in Rust
jmc-figueira's Repositories
jmc-figueira/rugo
A simple and minimalistic roguelike, written in Rust
jmc-figueira/liri-browser
A minimalistic material design web browser created for Papyros
jmc-figueira/megazeux
Official MegaZeux git repository
jmc-figueira/MiEIBot
One of us
jmc-figueira/MIRAI
Rust mid-level IR Abstract Interpreter
jmc-figueira/mobility-database-catalogs
The Catalogs of Sources of the Mobility Database.
jmc-figueira/nixpkgs
Nix Packages collection
jmc-figueira/novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
jmc-figueira/OrpheuShare
jmc-figueira/oxdz
An experimental multi-format mod player engine written in Rust.
jmc-figueira/Z3D
Repository for Computer Graphics project - Z3D Unity
jmc-figueira/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
jmc-figueira/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
jmc-figueira/workshop
Workshop GIT