GitHub

https://github.com

Updated 5 months ago

https://github.com/dhschall/champsim • Science 13%

ChampSim repository

Updated 6 months ago

pycrispr • Science 44%

Pip package for CRISPR-Cas9 screen analysis

Updated 6 months ago

lang-tlh • Science 44%

Finite state and Constraint Grammar based analysers and proofing tools, and language resources for the Klingon language

Updated 6 months ago

timeax • Science 44%

Multiple trajectory alignment of time-series data

Updated 6 months ago

aerial-power • Science 44%

Aerial Power Infrastructure Detection Dataset

Updated 5 months ago

https://github.com/dhschall/gapbs • Science 10%

GAP Benchmark Suite

Updated 6 months ago

plf-es-2023-1-ti2-0924100-skanboo • Science 44%

plf-es-2023-1-ti2-0924100-skanboo created by GitHub Classroom

Updated 6 months ago

sosaa-gui • Science 67%

GUI for configuring the SOSAA model

Updated 6 months ago

segway • Science 44%

Application for semi-automated genomic annotation.

Updated 6 months ago

harvest_x_climate_landis • Science 44%

LANDIS-II experiment

Updated 6 months ago

hydesign • Science 49%

Updated 5 months ago

https://github.com/giorgiaauroraadorni/gansformer • Science 10%

Generative Adversarial Transformers

Updated 5 months ago

https://github.com/dhschall/binary-neural-networks • Science 10%

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.

Updated 5 months ago

https://github.com/dhslab/dhslab-docker-images • Science 26%

Docker images for the Spencer lab

Updated 5 months ago

https://github.com/dhslab/covfast • Science 26%

Small c program to calculate coverage from a bam/cram over bed intervals

Updated 5 months ago

https://github.com/dhslab/epibench • Science 26%

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.

Updated 5 months ago

https://github.com/dhslab/peakachu-cohort • Science 26%

Wraps Peakachu’s train and score_genome functions in a parallelized CLI subcommand enabling scalable analysis across cohorts without manual per-sample commands.

Updated 6 months ago

pyfas • Science 67%

wrapper around Bo Guo's PFAS Leach screening tool

Updated 5 months ago

https://github.com/dhslab/methfast • Science 26%

Simple c program for manipulating bed-like methylation files

Updated 6 months ago

workshop • Science 44%

Updated 6 months ago

datacovhcq • Science 49%

Hydroxychoroquine debates on Twitter: data collected.

Updated 6 months ago

catalyst • Science 67%

Updated 5 months ago

https://github.com/dhslab/cutandrun • Science 23%

Analysis pipeline for CUT&RUN and CUT&TAG experiments that includes QC, support for spike-ins, IgG controls, peak calling and downstream analysis.

Updated 6 months ago

workshop-git • Science 44%

Repository for the git and GitHub workshop.

Updated 5 months ago

https://github.com/dhslab/cle-soma • Science 13%

CLE SOMA workflow

Updated 5 months ago

https://github.com/dhslab/dhsrmethtools • Science 13%

R functions for methylation analysis

Updated 6 months ago

pbe-si-2025-1-p5-tias-7375100-2025-1-p5-tias-template-tias • Science 44%

pbe-si-2025-1-p5-tias-7375100-2025-1-p5-tias-Template-TIAS created by GitHub Classroom

Updated 6 months ago

web-dev • Science 44%

Updated 6 months ago

reaxana • Science 57%

fast-CPXread: A code for analyzing reactive trajectories

Updated 6 months ago

stats-strided-dmeanwd • Science 57%

Calculate the arithmetic mean of a double-precision floating-point strided array using Welford's algorithm.

Updated 6 months ago

pc-para-todas • Science 54%

Demostración de github pages

Updated 5 months ago

https://github.com/dhslab/nf-core-hicmap • Science 13%

3D genome contacts calling from HiC data

Updated 6 months ago

childhood-blackwater-fever-scoping-review • Science 67%

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

Updated 6 months ago

covpipe2 • Science 54%

SARS-CoV-2 genome reconstruction for Illumina data in Nextflow

Updated 6 months ago

kg-cybersec • Science 44%

Updated 6 months ago

old-instruments • Science 44%

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.

Updated 6 months ago

bckd • Science 54%

Official Implementation of Bridging Cross-task Protocol Inconsistency for Distillation in Dense Object Detection

Updated 6 months ago

topopt • Science 44%

Simple easy-to-use Topology Optimization based scripts for a variety of applications

Updated 6 months ago

nf-core-clrpolish • Science 57%

Nf-core pipeline to polish long-read assemblies originated from pacbio clr reads (mainly from pacbio sequel platforms)

Updated 6 months ago

2025-04-28-tudelft-scw • Science 44%

Software Carpentry Workshop at TU Delft from April 28 to May 1, 2025

Updated 6 months ago

jaxtronomy • Science 44%

JAX port of lenstronomy, for parallelized, GPU accelerated, and differentiable gravitational lensing and image simulations.

Updated 5 months ago

https://github.com/dhsoncoder/sothuchi_63va • Science 13%

An Android application to manage personal expenses

Updated 6 months ago

modet • Science 44%

Multi-scale oriented detection with shared convolution head

Updated 6 months ago

threepp-j6 • Science 44%

Updated 6 months ago

jsotemplate.jl • Science 44%

Template for JSO packages

Updated 6 months ago

outdoor-hazard-detection • Science 44%

Outdoor Hazard Detection Dataset

Updated 6 months ago

carmen • Science 57%

Data Analysis of CARMEN

Updated 5 months ago

https://github.com/dhsoncoder/yolov5 • Science 28%

YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite

Updated 5 months ago

https://github.com/giorginolab/sequencetable • Science 13%

Uniprot-to-sequence-table

Updated 6 months ago

sante • Science 44%

Primeiro trabalho interdisciplinar da faculdade PUC com o tema de saúde e bem estar

Updated 5 months ago

https://github.com/giorginolab/dtw-g-cubed • Science 13%

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.

Updated 5 months ago

https://github.com/dhsorens/arklib • Science 10%

Formally Verified Arguments of Knowledge in Lean

Updated 5 months ago

https://github.com/giorginolab/structural-bioinformatics • Science 13%

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

Updated 5 months ago

https://github.com/dhsorens/lean-bank • Science 26%

A toy bank CLI coded and formally verified in Lean

Updated 6 months ago

https://github.com/crowdstrike/foundry-sample-idp-notifications • Science 44%

Falcon IdP Domain and Connector Monitoring sample Foundry app

Updated 6 months ago

ojibwemorph • Science 44%

An all-purpose and adaptable FST for Ojibwe

Updated 5 months ago

https://github.com/dhsorens/lc3-lean • Science 13%

A proof system in Lean for LC-3

Updated 6 months ago

kbp-sdp • Science 44%

Updated 6 months ago

stable-diffusion-booth • Science 54%

stable booth

Updated 5 months ago

https://github.com/dhsorens/fincert • Science 23%

An experimental repository developing formal tools to specify financial smart contracts in ConCert (Coq). Corresponds to the text of my PhD thesis.

Updated 5 months ago

https://github.com/giorginolab/mdcath • Science 10%

This repository houses all the scripts and notebooks utilized for generating, analyzing, and validating the mdCATH dataset. Some user examples are also available.

Updated 5 months ago

https://github.com/dhsorens/lean-lc3 • Science 13%

A Proof System in Lean for LC3 Programs (In Progress)

Updated 5 months ago

https://github.com/giorginolab/ecl2 • Science 26%

ECL2 clustering interactive table and app

Updated 6 months ago

yolo5_2 • Science 54%

Updated 6 months ago

tcc-code • Science 44%

Metropolis code used in the final project of my bacharel

Updated 6 months ago

cdk-scaffold • Science 67%

Chemistry Development Kit module for scaffold functionalities

Updated 6 months ago

carbon-efficient-karpenter-thesis • Science 44%

Carbon Efficient Karpenter: Optimizing Kubernetes Cluster Autoscaling for Carbon Efficiency

Updated 6 months ago

office-block-generator_grasshopper • Science 44%

This tool is designed for automated generation of high-density office building layouts in Rhino/Grasshopper.

Updated 6 months ago

nf_pgcr_dev • Science 57%

devel version of pgcr nextflow

Updated 5 months ago

https://github.com/dhsorens/fincert-concert-fork • Science 23%

A framework for smart contract verification in Coq

Updated 5 months ago

https://github.com/dhsorens/coq-hott • Science 10%

A Coq library for Homotopy Type Theory

Updated 5 months ago

https://github.com/dhufe/dhufe • Science 26%

Config files for my GitHub profile.

Updated 6 months ago

simpy-streamlit-tutorial • Science 57%

Building DES models in simpy and streamlit