GitHub
lang-tlh
Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Klingon language
plf-es-2023-1-ti2-0924100-skanboo
plf-es-2023-1-ti2-0924100-skanboo created by GitHub Classroom
https://github.com/giorgiaauroraadorni/gansformer
Generative Adversarial Transformers
https://github.com/dhschall/binary-neural-networks
Exploring "Binary Neural Networks" (https://arxiv.org/abs/1602.02830) in Theano. A set of experiments that use binarised weights and/or activations to reduce computational load of convolutional neural networks.
https://github.com/dhslab/dhslab-docker-images
Docker images for the Spencer lab
https://github.com/dhslab/covfast
Small c program to calculate coverage from a bam/cram over bed intervals
https://github.com/dhslab/epibench
EpiBench is a software tool designed for predicting DNA methylation levels using genomic sequence data and histone modification marks. It employs a multi-branch CNN architecture tailored for integrating these data types to achieve high prediction accuracy.
https://github.com/dhslab/peakachu-cohort
Wraps Peakachu’s train and score_genome functions in a parallelized CLI subcommand enabling scalable analysis across cohorts without manual per-sample commands.
https://github.com/dhslab/methfast
Simple c program for manipulating bed-like methylation files
https://github.com/dhslab/cutandrun
Analysis pipeline for CUT&RUN and CUT&TAG experiments that includes QC, support for spike-ins, IgG controls, peak calling and downstream analysis.
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
jaxtronomy
JAX port of lenstronomy, for parallelized, GPU accelerated, and differentiable gravitational lensing and image simulations.
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