edusporto Goto Github PK

algebraic

Notes for the "Algebraic Methods for Creating and Reasoning about Programmes" research internship at KU Leuven

android-agenda

Projeto de Agenda para a disciplina de Programação em Dispositivos Móveis

aoc2021

My solutions for Advent of Code 2021 (https://adventofcode.com/2021)

aoc2022

aoc2023

arithmetic-expression-solver

Java project to solve arithmetic expressions. (In Portuguese)

arithmetic-expression-solver-cpp

Arithmeitc expression solver written in the C++ language.

autodiff

automata

Haskell implementation for different kinds of automata

bend

bf-interpreter

Interpreter for the "Brainf*ck" language written in C++

cctk-applet

Menu bar indicator to set configurations specific to Dell computers.

client-server-chat

Java project for a client-server chat application. (In Portuguese)

cmake-example

Example on how to use CMake.

doom-fire-algorithm

Playground for the fire effect from DOOM. Really simple algorithm and all experiments are welcome!

doom-fire-algorithm-cpp

Creating the fire effect from DOOM in C++. Based in a project by filipedeschamps

galaxy-raiders-api

Galaxy Raiders API implementation - Programming Techniques II (MAC0218) @ USP

game-loop

A Rust crate that implements a frame-rate-independent game loop.

hipo-cpu

CPU inspired by the HIPO design created in Logisim for the MAC0329 course @ IME-USP

huffman

Implementation of the Huffman compression algorithm

hvm

A massively parallel, optimal functional runtime in Rust

image-manipulation

Experimenting with image manipulation in Rust.

ingpu

GPU-based interaction nets evaluator

interaction-nets

Implementing Interaction Nets in Rust.

kind2

Temporary repository for Kind2's refactor based on HVM2

lambda-lean

Implementing Lambda Calculus in Lean4

latex-formulae

Libraries and tools for rendering math to images using real LaTeX, from Haskell, Pandoc and Hakyll

mac0219-5742-ep1-2023

mac0417

Repositório para o projeto da disciplina MAC0417 - USP

maze-solver

Java project to solve mazes contained in text files. (In Portuguese)