jmc-figueira

João Figueira's repositories

A simple and minimalistic roguelike, written in Rust

Language:RustGPL-3.01 3 6

A minimalistic material design web browser created for Papyros

Language:QMLGPL-3.0030

Official MegaZeux git repository

Language:C030

One of us

Language:PythonGPL-3.0030

Rust mid-level IR Abstract Interpreter

Language:RustMIT020

Nix Packages collection

Language:NixMIT020

LaTeX template for MSc and PhD thesis (for NOVA University Lisbon an other institutions)

Language:TeXLPPL-1.3c020

Language:TypeScript030

An experimental multi-format mod player engine written in Rust.

Language:RustApache-2.0020

A static verifier for Rust, based on the Viper verification infrastructure.

Language:RustNOASSERTION020

Symbolic-execution-based verifier for the Viper intermediate verification language.

MPL-2.0000

Workshop GIT

Language:C030

Repository for Computer Graphics project - Z3D Unity

Language:ASPMIT060