ap-svm-data-cleaning
The Affinity Propagation (AP) + Support Vector Machine (SVM) data cleaning model code for time-series signals generated from Germanium detectors is found here.
maco
An unofficial pytorch implementation of "Unlocking Feature Visualization for Deeper Networks with MAgnitude Constrained Optimization" [Fel+, NeurIPS 2023].
agda-algebras
The Agda Universal Algebra Library (html docs available at the url below)
lego-batman
A work-in-progress decompilation of LEGO Batman (LEGO® Batman™: The Videogame) version 1.0.1 for Mac OS X. Decompiled with IDA Professional 9.0.
ipetbd
Site criado como um projeto na PUC - Minas, para encontrar locais Pet-Friendly. Desenvolvido utilizando HTML/CSS e JavaScript, além da criação de um banco de dados postgreSQL, e um backend completo em JAVA.
autqec
autqec: A Python library with MAGMA software interface for computing fault-tolerant logical Clifford gates of stabilizer codes from code automorphisms.
https://github.com/akikuno/tsumugi-dev
Web tool for visualizing phenotype-similarity gene networks
saltcompute
SaltCompute: Android application to calculate salinity from conductivity and pressure
multi-fit
multi-fit is a general tool that seeks to automatically detect and fit peaks to PSD data derived from trapped levitating nanoparticles. The goal of this project is to allow fitting on a broad range of data input types and levitation schemes i.e. optical and electrical
awslabs/aws-lc-verification
This repository contains specifications, proof scripts, and other artifacts required to formally verify portions of AWS libcrypto. Formal verification is used to locate bugs and increase assurance of the correctness and security of the library.
SecureArithmetic
Secure arithmetic operations using fully homomorphic encryption
