Decompiled and modified version of GT5.07.07

A big progressive questing modpack for Minecraft 1.7.10 balanced around the mod GregTech.

Vesktop is a custom Discord App aiming to give you better performance and improve linux support

Configuration for my NixOS systems

Formal topology (and some probability) in Coq

State-Transition Systems for Smart Contracts

A minimalistic blockchain consensus implemented and verified in Coq

Relation algebra library for Coq

A Formalization of Typed and Untyped λ-Calculi in Coq and Agda2

Source code for Twitter's Recommendation Algorithm

A logic programming solution to assess the ecological footprint of your ICT system

A Rust implementation of Glidesort, my stable adaptive quicksort/mergesort hybrid sorting algorithm.

A collection of useful .gitignore templates

A crate that serves as the baseline for constructing powerful graph algorithms in CSR

And I say hey, what's going on?

Configuration files for my NixOS machine, declared by home-manager

Bootstrap Kubernetes the hard way. No scripts.

Minimal, collaboratively written kernel

My NixOS configuration flake that moggs yours in term of eval times

rust implementation of octree algorithm for nearest neighbor search in 3D space

Fastest pure Rust implementation of LZ4 compression/decompression.

Accurate stronghold calculator for Minecraft speedrunning.

An enhancement collection for anilist.co

Resumos das UCs de LEIC-A do IST

Online Unit Tests for IST projects

🌀 my linux configuration