GitHub
pbe-si-2025-1-p5-tias-7375100-2025-1-p5-tias-template-tias
pbe-si-2025-1-p5-tias-7375100-2025-1-p5-tias-Template-TIAS created by GitHub Classroom
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
ecs235a-cis-cracking-the-code-advanced-intrusion-detection-frameworks-for-scada-security
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
https://github.com/disberd/vscode-pluto-operations
Perform basic notebook operations on pluto notebook files from vscode
https://github.com/arcadia-science/2024-organismal-selection
Code associated with the pub "Leveraging evolution to identify novel organismal models of human biology"
uniqc
Unified neuroimaging quality control (uniQC) toolbox. This repository holds the Matlab code, including development and releases, of the toolbox. The example and test data is elsewhere.
BlochSimulators
Julia package for performing Bloch simulations within the context of Magnetic Resonance Imaging