luigidcsoares

L-programming-language

teaching-dcc204-pds2

lif

A tool to eliminate timing-base side channels

7-segment-clock

Relógio com display de 7 segmentos

neovim-config

My personal Neovim setup

qify

Quantitative Information Flow (QIF) Library for Python

teaching-dcc203-pds1

dcc888-agda

Proving Theorems with Agda

llvm-passes

Collection of llvm passes

.doom.d

My private config for Doom Emacs

boogie-friends

Tools for interacting with Boogie

data-science-ibge

dotfiles

My NixOS configuration on WSL

emacs-config

My vanilla emacs config

go

The Go programming language

Grid-Tiling-Kwin

A kwin script that automatically tiles windows

lac

Projects @ Compilers Lab - UFMG

llvm-course

Code examples used for the LAC LLVM course

luigidcsoares.github.io

:sparkles: Build a beautiful and simple website in literally minutes. Demo at https://beautifuljekyll.com

neorg

Modernity meets insane extensibility. The future of organizing your life in Neovim.

org-present

Ultra-minimalist presentation minor-mode for Emacs org-mode.

psychec

A compiler frontend for the C programming language

quantum-magic-square

task-list

A simple Task List to study both PWA and Hybrid mobile apps

teaching

teaching-dcc204-pds2-project-2023.2-mediapp

Aplicativo de agendamento de consultas médicas

teaching-dcc204-pds2-project-2023.2-mlib

Biblioteca de gerenciamento de emails em C++

templates

Templates for presentations

ufmg

UFMG projects

uri

Solutions for some URI problems