GitHub
cccoextgsa
Global sensitivity analysis for climate/land-use change co-extinctions analysis
stats-strided-dmeanwd
Calculate the arithmetic mean of a double-precision floating-point strided array using Welford's algorithm.
https://github.com/dhslab/nf-core-hicmap
3D genome contacts calling from HiC data
childhood-blackwater-fever-scoping-review
A comprehensive scoping review of blackwater fever among children in sub-Saharan Africa, including data extraction, PRISMA-ScR workflows, analysis scripts, and visualizations for transparent, reproducible research
old-instruments
A collection of antique, semi-antique, and vintage instruments, as well as modern reissuances of classic models. These instruments were all acquired in a used condition, and some have been modified by previous or current owners.
bckd
Official Implementation of Bridging Cross-task Protocol Inconsistency for Distillation in Dense Object Detection
topopt
Simple easy-to-use Topology Optimization based scripts for a variety of applications
nf-core-clrpolish
Nf-core pipeline to polish long-read assemblies originated from pacbio clr reads (mainly from pacbio sequel platforms)
2025-04-28-tudelft-scw
Software Carpentry Workshop at TU Delft from April 28 to May 1, 2025
https://github.com/dhsoncoder/sothuchi_63va
An Android application to manage personal expenses
a2875cdc-ba6a-49dc-aab7-cdf7c4fc0fa8
Exploring MODIS MOD021KM and FIRMS datasets
https://github.com/dhsoncoder/yolov5
YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite
sante
Primeiro trabalho interdisciplinar da faculdade PUC com o tema de saúde e bem estar
https://github.com/giorginolab/dtw-g-cubed
The repository contains the R scripts for the DTW calculations performed and presented for the G-Cubed paper on the methodology of DTW custom technique.
https://github.com/dhsorens/arklib
Formally Verified Arguments of Knowledge in Lean
https://github.com/giorginolab/structural-bioinformatics
This repository includes the slides and the practicals for the course of Structural Bioinformatics of the MBB/QB degrees at the University of Milano, originally inspired by https://github.com/pb3lab/ibm3202
https://github.com/dhsorens/lean-bank
A toy bank CLI coded and formally verified in Lean
https://github.com/crowdstrike/foundry-sample-idp-notifications
Falcon IdP Domain and Connector Monitoring sample Foundry app
https://github.com/dhsorens/fincert
An experimental repository developing formal tools to specify financial smart contracts in ConCert (Coq). Corresponds to the text of my PhD thesis.
https://github.com/giorginolab/mdcath
This repository houses all the scripts and notebooks utilized for generating, analyzing, and validating the mdCATH dataset. Some user examples are also available.
https://github.com/dhsorens/lean-lc3
A Proof System in Lean for LC3 Programs (In Progress)
intro_python_ismb2022
carbon-efficient-karpenter-thesis
Carbon Efficient Karpenter: Optimizing Kubernetes Cluster Autoscaling for Carbon Efficiency
office-block-generator_grasshopper
This tool is designed for automated generation of high-density office building layouts in Rhino/Grasshopper.
https://github.com/dhsorens/fincert-concert-fork
A framework for smart contract verification in Coq
https://github.com/giorginolab/2024-molsim-unipd
Material for the Molecular Simulations module (Prof. Fuxreiter)
pmv-si-2023-2-pe1-t2-doeaqui
pmv-si-2023-2-pe1-t2-doeaqui created by GitHub Classroom
