jmc-figueira

Computer Science Student at FCT-UNL (Lisbon, Portugal)

Portugal

Pinned Repositories

liri-browser
A minimalistic material design web browser created for Papyros
Language:QML0 3 00
megazeux
Official MegaZeux git repository
Language:C0 3 00
MiEIBot
One of us
Language:Python0 3 00
MIRAI
Rust mid-level IR Abstract Interpreter
Language:Rust0 2 00
nixpkgs
Nix Packages collection
Language:Nix0 2 00
novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
Language:TeX0 2 00
OrpheuShare
Language:TypeScript0 3 00
oxdz
An experimental multi-format mod player engine written in Rust.
Language:Rust0 2 00
rugo
A simple and minimalistic roguelike, written in Rust
Language:Rust1 3 60

jmc-figueira's Repositories

jmc-figueira/rugo
A simple and minimalistic roguelike, written in Rust
Language:Rust1 3 60
jmc-figueira/liri-browser
A minimalistic material design web browser created for Papyros
Language:QML0 3 00
jmc-figueira/megazeux
Official MegaZeux git repository
Language:C0 3 00
jmc-figueira/MiEIBot
One of us
Language:Python0 3 00
jmc-figueira/MIRAI
Rust mid-level IR Abstract Interpreter
Language:Rust0 2 00
jmc-figueira/nixpkgs
Nix Packages collection
Language:Nix0 2 00
jmc-figueira/novathesis
LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)
Language:TeX0 2 00
jmc-figueira/OrpheuShare
Language:TypeScript0 3 00
jmc-figueira/oxdz
An experimental multi-format mod player engine written in Rust.
Language:Rust0 2 00
jmc-figueira/Z3D
Repository for Computer Graphics project - Z3D Unity
Language:ASP0 6 00
jmc-figueira/prusti-dev
A static verifier for Rust, based on the Viper verification infrastructure.
Language:Rust2 0
jmc-figueira/silicon
Symbolic-execution-based verifier for the Viper intermediate verification language.
jmc-figueira/workshop
Workshop GIT
Language:C3 0