GitHub
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
quantum_observer_simulator
Simulation and analysis of a cognitive phase transition in quantum observer perception. Based on the Renkel experiment and categorical quantum models.
fishmip_input_explorer
R Shiny App to explore input data within FishMIP regional model boundaries
affectivedynamics
The Affective Dynamics of Everyday Digital Life: Opening Computational Possibility
@stdlib/assert-is-complex64matrix-like
Test if a value is a 2-dimensional ndarray-like object containing single-precision complex floating-point numbers.
stats-strided-svarianceyc
Calculate the variance of a single-precision floating-point strided array using a one-pass algorithm proposed by Youngs and Cramer.
stats-strided-dnanrange
Calculate the range of a double-precision floating-point strided array, ignoring NaN values.
post-fire_rainfall
Assessing post-fire rainfall effects on small watersheds in the Cameron Peak and East Troublesome wildfires
blas-ext-base-wasm-dapxsum
Add a constant to each double-precision floating-point strided array element and compute the sum.
supplementary-data-mobilehci-2025
Study data with analysis code, interaction videos, and online survey template
xrd_simulator
Tools for simulating x-ray diffraction. Detailed documentation is found at the below link.
stats-strided-smidrange
Calculate the mid-range of a single-precision floating-point strided array.
multipac-testbench
This library is designed to post-treat the data from the MULTIPAC multipactor test bench at LPSC, Grenoble, France.
tunny-v1
This repository consolidate information about Tunny version 1 and store released files.