semaraugusto Goto Github PK

adv360-pro-zmk

Production repository for the all-new Advantage360 Professional using ZMK engine

aeds_3

Trabalhos práticos feitos durante a disciplina de Algoritmos e Estruturas de Dados 3 ministrada na UFMG.

aoc

2020

aulapraticarefactoring

biblioteca

Classic algorithms and data structures used on competitive programming.

bls-verification-contract

My tentative on implementing BLS verification using solidity. Converting a hash to a point in the BLS curve takes all block gas limit so stopped implementation there (it's not possible to do what I was trying to without the ethereum pre-compiles for BLS operations)

cargo-watch

Watches over your Cargo project's source.

circom-starter

basic circom project using hardhat-circom and docker

circomlib

Library of basic circuits for circom

circomlib-ml

Circom Circuits Library for Machine Learning

craft-reimplementation

CRAFT-Pyotorch：Character Region Awareness for Text Detection Reimplementation for Pytorch

crypto-101

My solutions to Dan Boneh's problems on coursera

darkforestimplementation

Implementation for a darkforest-like game. Done during www.zku.one

deep-learning-from-scratch-ish-

My solutions to the problems proposed on the FastAI Course v3 part 2

deep-learning-specialization-coursera

My solutions to the exercises provided on the Deep Learning Specialization on Coursera.

deep-learning-v2-pytorch

My solutions to the exercises in https://www.udacity.com/course/deep-learning-pytorch--ud188

deposit-verifier

A smart contract to enhance the user experience of the `eth2` deposit contract.

dotfiles

My dotfiles for software I usually use.

dotfiles-1

Personal set of vim, zsh, git configs and scripts.

eda_nasapower_api

Exploratory Data Analysis on data downloaded via NASA Power API.

engsofttrello

Projeto da disciplina Engenharia de Software - UFMG - 2019/2

gguf

GGUF parser for Go

halo2-examples

Some halo2 code I wrote to start learning how to use it

imgaug

Image augmentation for machine learning experiments.

interpreter-rs

My implementation in rust for https://interpreterbook.com/

keras-ocr

A packaged and flexible version of the CRAFT text detector and Keras CRNN recognition model.

kickstart.nvim

A launch point for my personal nvim configuration

lagrange-interpolation

Lagrange interpolation over prime fields as described in Justin Thaler's book Proofs, Arguments, and Zero-Knowledge available at https://people.cs.georgetown.edu/jthaler/ProofsArgsAndZK.pdf

libstark-bindgen-test

A binding for BairWitness using libSTARK library and rust with bindgen

mineracao_dados_2017-2

Assignments for Data Mining discipline in UFMG 2017/2