kg-cybersec • Science 44%

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.

bckd • Science 54%

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

topopt • Science 44%

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

tchaikovsky_seasons • Science 75%

nf-core-clrpolish • Science 57%

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

metagenome-assembly • Science 57%

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

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

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

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

debussy_suite_bergamasque • Science 75%

slis5030_collection • Science 44%

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

An Android application to manage personal expenses

modet • Science 44%

Multi-scale oriented detection with shared convolution head

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

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

threepp-j6 • Science 44%

distant_listening_corpus • Science 57%

jsotemplate.jl • Science 44%

Template for JSO packages

incident_detection_yolov5 • Science 44%

llama_index_spanish • Science 57%

outdoor-hazard-detection • Science 44%

Outdoor Hazard Detection Dataset

carmen • Science 57%

Data Analysis of CARMEN

a2875cdc-ba6a-49dc-aab7-cdf7c4fc0fa8 • Science 67%

Exploring MODIS MOD021KM and FIRMS datasets

bikemedcommons • Science 44%

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

YOLOv5 🚀 in PyTorch > ONNX > CoreML > TFLite

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

Uniprot-to-sequence-table

sante • Science 44%

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

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.

https://github.com/dhsorens/dhsorens.github.io • Science 26%

Website

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

Formally Verified Arguments of Knowledge in Lean

ecs235a-cis-cracking-the-code-advanced-intrusion-detection-frameworks-for-scada-security • Science 49%

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

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

A toy bank CLI coded and formally verified in Lean

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

Falcon IdP Domain and Connector Monitoring sample Foundry app

ojibwemorph • Science 44%

An all-purpose and adaptable FST for Ojibwe

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

A proof system in Lean for LC-3

kbp-sdp • Science 44%

stable-diffusion-booth • Science 54%

stable booth

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.

alexlancaster_zenodraft-action • Science 44%

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.

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

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

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

ECL2 clustering interactive table and app

yolo5_2 • Science 54%

aflplusplus4_08c_demo • Science 44%

2018-03-27-davis • Science 54%

intro_python_ismb2022 • Science 54%

tcc-code • Science 44%

Metropolis code used in the final project of my bacharel

cdk-scaffold • Science 67%

Chemistry Development Kit module for scaffold functionalities

carbon-efficient-karpenter-thesis • Science 44%

Carbon Efficient Karpenter: Optimizing Kubernetes Cluster Autoscaling for Carbon Efficiency

office-block-generator_grasshopper • Science 44%

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

nf_pgcr_dev • Science 57%

devel version of pgcr nextflow

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

A framework for smart contract verification in Coq

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

A Coq library for Homotopy Type Theory

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

Config files for my GitHub profile.

simpy-streamlit-tutorial • Science 57%

Building DES models in simpy and streamlit

tgbotimagedetector • Science 44%

Diplom

https://github.com/giorginolab/2024-molsim-unipd • Science 13%

Material for the Molecular Simulations module (Prof. Fuxreiter)

analisemultivariadaeaprendizadonaosupervisionado • Science 67%

pmv-si-2023-2-pe1-t2-doeaqui • Science 44%

pmv-si-2023-2-pe1-t2-doeaqui created by GitHub Classroom

distributed-rcm-based-consensus • Science 44%

opentaiwan • Science 54%

sc-load1 • Science 54%

sc-load1

geometry-in-motion • Science 44%

Geometry in Motion: Animations by Clayton Shonkwiler

akwaaba-dhsi-demo • Science 44%

2024-09-12-nwoi • Science 44%

https://github.com/gssi/traceabilitymodel • Science 13%

Traceability Model and case study

https://github.com/disberd/vscode-pluto-operations • Science 13%

Perform basic notebook operations on pluto notebook files from vscode

another-olde-instruments • Science 44%

take 4

biosignature-detection-with-py-gc-ms-data-using-machine-learning • Science 67%

https://github.com/arcadia-science/2024-organismal-selection • Science 49%

Code associated with the pub "Leveraging evolution to identify novel organismal models of human biology"

aldsct • Science 44%

Automated Landmark Detection System for Lateral Cephalometric CT

amateur-science • Science 44%

https://github.com/disi-unibo-nlp/unown • Science 13%

e-ciclo • Science 44%

phrosty • Science 44%

phrosty (PHotometry for ROman with SFFT for tYpe Ia supernovae)

sleeperagent • Science 44%

take-5 • Science 44%

lala

https://github.com/disi-unibo-nlp/sci-lay • Science 13%

numpy • Science 57%

uniqc • Science 57%

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.

lab-landing-website-template • Science 44%

快速搭建实验室或研究所主页，包括课题、项目、团队、博客、联系方式等功能

https://github.com/arcadia-science/2025_genopheno_local_linear_mapping • Science 44%

BlochSimulators • Science 44%

Julia package for performing Bloch simulations within the context of Magnetic Resonance Imaging

constants-float32-eulergamma • Science 44%

The Euler-Mascheroni constant.

robustbench • Science 54%

RobustBench: a standardized adversarial robustness benchmark [NeurIPS 2021 Benchmarks and Datasets Track]

private-gpt • Science 44%

medical-analysis-assistant • Science 57%

a web appplication to assist with heart disease prediction, skin cancer and tubercolosis detection also with a health chatbot.

https://github.com/disi-unibo-nlp/gomix • Science 36%

https://github.com/disi-unibo-nlp/uwb-nlos-human-detection • Science 10%

Dataset for "Human Being Detection from UWB NLOS Signals: Accuracy and Generality of Advanced Machine Learning Models"

https://github.com/disi-unibo-nlp/llm-cxr • Science 10%

Official code for "LLM-CXR: Instruction-Finetuned LLM for CXR Image Understanding and Generation"

freetrace • Science 67%

Single Particle Tracking from video.

https://github.com/disi-unibo-nlp/easumm • Science 13%

[DATA22 and Springer LNCS] Graph-Enhanced Biomedical Abstractive Summarization via Factual Evidence Extraction

https://github.com/disi-unibo-nlp/ddegk • Science 10%

Implementation of Deep Divergence Event Graph Kernels

yags • Science 44%

Yet Another Graph System

https://github.com/disi-unibo-nlp/carburacy • Science 13%

libcoal • Science 44%

coal fork for cmeel packaging - C++ lib only

https://github.com/disi-unibo-nlp/athena • Science 13%

2019-11-11_miller-school-of-medicine • Science 54%