GitHub
securityprotocolimplementations
Artifact for the paper "A Generic Methodology for the Modular Verification of Security Protocol Implementations"
wits
Storage and transit time estimation in hydrological systems with the «Water Isotope modelling for Transit time and Storage» (WITS) software
gd4shapes
Geodesic distance with fixed parametrization for 2D Shapes (GD4Shapes)
clip-distillation
Knowledge Distillation using Contrastive Language-Image Pretraining (CLIP) without a teacher model.
feddebug
FedDebug is a novel testing and debugging technique that localizes faulty clients in Federated Learning.
https://github.com/jbottigliero/globus-sdk-javascript-ex-01
An example of a simple index.html file using the Globus JavaScript SDK to authenticate with Globus Auth.
EMC-MetaMicrobes
Nextflow pipeline to detect and classify microbial reads in sequencing data from human samples.
ziffers
Numbered musical notation for composing algorithmic and generative melodies
zff_vad
Unsupervised Voice Activity Detection by Modeling Source and System Information using Zero Frequency Filtering
updatecitation
Automatically update citation files (CITATION.cff) in a GitHub repository from `pyproject.toml`, GitHub releases, and PyPI releases.
dfc
An implementation of several well-known dynamic Functional Connectivity assessment methods.
3l-cvrp-classifier-work
Working Repository where i can do whatever i want to implement the classifier
asana
Illuminating the Neurological Impacts of Yoga Asana: A mobile fNIRS study
biosynrescl
Enhancing Syntactic Resolution in Biomedical Data Processing with OpenCL
Jabberwocky
Jabberwocky: an ontology-aware toolkit for manipulating text - Published in JOSS (2020)
voilence-detection-and-highlight-generation-using-bilstm
A Deep Learning model that can detect Violence with high accuracy frame wise and also for the entire video in Video Footages and Live Feeds.
turtleFSI
turtleFSI: A Robust and Monolithic FEniCS-based Fluid-Structure Interaction Solver - Published in JOSS (2020)
esg_todnet
A Tiny Object Detection Method Based on Explicit Semantic Guidance for Remote Sensing Images (IEEE GRSL 2024)
MPA
MPA: a novel cross-language API for time series analysis - Published in JOSS (2020)
tiaw-tempin
Projeto sobre tempo livre inutilizado para a matéria de Trabalho Interdisciplinar: Aplicações Web do 1º período do curso de Engenharia de Software
passt
passt: An R implementation of the Probability Associator Time (PASS-T) model - Published in JOSS (2020)
mscthesis
Msc Thesis about hydrology and the impact of new houses in the Geul catchment, the Netherlands
frp-operator
Expose your service in Kubernetes to the Internet with open source FRP!
dynamic-pricing-capacity-limitation
Code for the numerical study presented in "Dynamic Pricing in an Energy Community Providing Capacity Limitation Services
pmv-si-2024-1-pe5-t2-agro-puc
pmv-si-2024-1-pe5-t2-agro-puc created by GitHub Classroom
parallel_batch_greedy
Implementation of a parallel batch greedy algorithm for reduced basis methods related to the linked paper.
noise-image-generator
Simple tool to generate noise images that can be used for testing image-based AI or anything else.
cloud-admin-guide-2-managing-aws-instances
Cloud Admin Guide course - lesson Managing AWS Instances