Skip to content
View edusporto's full-sized avatar
🐧
Studying
🐧
Studying
123 followers · 84 following

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report edusporto

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

  • mac0316-2022-ep Public

    Code for the programming assignment I helped develop for the MAC0316 course at the University of São Paulo in 2022.

    Haskell Updated Oct 25, 2024

  • HVM Public

    Forked from HigherOrderCO/HVM

    A massively parallel, optimal functional runtime in Rust

    Cuda Updated May 20, 2024

  • bend Public

    Forked from HigherOrderCO/Bend
    Rust Updated May 16, 2024

  • ingpu Public

    Forked from euschn/ingpu

    GPU-based interaction nets evaluator

    C++ Updated May 10, 2024

  • latex-formulae Public

    Forked from liamoc/latex-formulae

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

    Haskell BSD 3-Clause "New" or "Revised" License Updated Apr 20, 2024

  • kind2 Public

    Forked from HigherOrderCO/kind2-archive

    Temporary repository for Kind2's refactor based on HVM2

    Rust Updated Apr 19, 2024

  • lambda-lean Public

    Implementing Lambda Calculus in Lean4

    Lean 2 Updated Feb 25, 2024

  • interaction-nets Public

    Implementing Interaction Nets in Rust.

    Rust 1 Updated Feb 22, 2024

  • aoc2023 Public

    Lean Updated Dec 5, 2023

  • nes Public

    Multi-platform NES emulator built with Rust

    emulator rust native wasm nes
    Rust 6 Apache License 2.0 Updated Nov 30, 2023

  • rinha-compilador Public

    Minha submissão para a https://github.com/aripiprazole/rinha-de-compiler

    HTML 2 Other Updated Sep 24, 2023

  • rinha-de-compiler Public

    Forked from aripiprazole/rinha-de-compiler

    🥖 | Rinha de compiladores (ou interpretadores kkkk

    Rust Updated Sep 22, 2023

  • game-loop Public

    Forked from tuzz/game-loop

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

    Rust Updated Aug 5, 2023

  • MAC0219-5742-EP1-2023 Public

    Forked from maxcabrajac/MAC0219-5742-EP1-2023
    C Updated Jul 21, 2023

  • aoc2022 Public

    Haskell Updated Jan 18, 2023

  • autodiff Public

    Forked from GabrielDertoni/autodiff
    Haskell 1 BSD 3-Clause "New" or "Revised" License Updated Dec 9, 2022

  • algebraic Public

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

    Haskell Updated Oct 4, 2022

  • automata Public

    Haskell implementation for different kinds of automata

    Haskell MIT License Updated Sep 13, 2022

  • galaxy-raiders-api Public

    Forked from galaxy-raiders/galaxy-raiders-api

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

    Kotlin MIT License Updated Jul 28, 2022

  • cctk-applet Public

    Menu bar indicator to set configurations specific to Dell computers.

    Rust MIT License Updated Jul 15, 2022

  • huffman Public

    Implementation of the Huffman compression algorithm

    Rust MIT License Updated Jun 17, 2022

  • mini-ep-7-MAC0218 Public

    Forked from jooaodanieel/mini-ep-7-MAC0218

    Tarefa Mini EP 7 da disciplina MAC0218 (2022)

    Kotlin Updated May 15, 2022

  • rugby-game Public

    Forked from renatocf/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

    C MIT License Updated Mar 27, 2022

  • aoc2021 Public

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

    Haskell Updated Dec 4, 2021

  • mac0417 Public

    Repositório para o projeto da disciplina MAC0417 - USP

    Jupyter Notebook Updated Jul 30, 2021

  • hipo-cpu Public

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

    Updated Aug 8, 2020

  • image-manipulation Public

    Experimenting with image manipulation in Rust.

    Rust Updated Oct 17, 2019

  • rust-grep Public

    Recreating basic grep functionalities in Rust. Part of The Rust Book

    Rust MIT License Updated Aug 8, 2019

  • obi-2018-nacional Public

    Soluções para a Modalidade Programação - Nível 2 (Fase Nacional) de 2018

    C++ Updated Aug 3, 2019

  • bf-interpreter Public

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

    C++ MIT License Updated Jul 9, 2019