Pinned Repositories
algebraic
Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven
automata
Haskell implementation for different kinds of automata
doom-fire-algorithm-cpp
Creating the fire effect from DOOM in C++. Based in a project by filipedeschamps
huffman
Implementation of the Huffman compression algorithm
lambda-lean
Implementing Lambda Calculus in Lean4
maze-solver-c
Maze solver made in the C language.
nes
Multi-platform NES emulator built with Rust
rinha-compilador
Minha submissão para a https://github.com/aripiprazole/rinha-de-compiler
sfml-snake
Simple snake game made in C++ using the SFML library.
Assembly-Shooter-Game
🏹🎮 8-Bit & fast-paced 1v1 archer shooter game, developed with MASM32.
edusporto's Repositories
edusporto/nes
Multi-platform NES emulator built with Rust
edusporto/rinha-compilador
Minha submissão para a https://github.com/aripiprazole/rinha-de-compiler
edusporto/lambda-lean
Implementing Lambda Calculus in Lean4
edusporto/algebraic
Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven
edusporto/android-agenda
Projeto de Agenda para a disciplina de Programação em Dispositivos Móveis
edusporto/automata
Haskell implementation for different kinds of automata
edusporto/huffman
Implementation of the Huffman compression algorithm
edusporto/aoc2021
My solutions for Advent of Code 2021 (https://adventofcode.com/2021)
edusporto/aoc2022
edusporto/aoc2023
edusporto/autodiff
edusporto/bend
edusporto/bf-interpreter
Interpreter for the "Brainf*ck" language written in C++
edusporto/cctk-applet
Menu bar indicator to set configurations specific to Dell computers.
edusporto/galaxy-raiders-api
Galaxy Raiders API implementation - Programming Techniques II (MAC0218) @ USP
edusporto/game-loop
A Rust crate that implements a frame-rate-independent game loop.
edusporto/hipo-cpu
CPU inspired by the HIPO design created in Logisim for the MAC0329 course @ IME-USP
edusporto/HVM
A massively parallel, optimal functional runtime in Rust
edusporto/image-manipulation
Experimenting with image manipulation in Rust.
edusporto/ingpu
GPU-based interaction nets evaluator
edusporto/interaction-nets
Implementing Interaction Nets in Rust.
edusporto/kind2
Temporary repository for Kind2's refactor based on HVM2
edusporto/latex-formulae
Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll
edusporto/MAC0219-5742-EP1-2023
edusporto/mac0417
Repositório para o projeto da disciplina MAC0417 - USP
edusporto/mini-ep-7-MAC0218
Tarefa Mini EP 7 da disciplina MAC0218 (2022)
edusporto/obi-2018-nacional
Soluções para a Modalidade Programação - Nível 2 (Fase Nacional) de 2018
edusporto/rinha-de-compiler
🥖 | Rinha de compiladores (ou interpretadores kkkk
edusporto/rugby-game
Simulação C de jogo atacante vs. defensor no Rugby para a disciplina MAC0218 - Técnicas de Programação II do IME-USP
edusporto/rust-grep
Recreating basic grep functionalities in Rust. Part of The Rust Book