GitHub
redcapfiller
Fill a REDCap project with generated data based on the project design and a minimal set of inputs
st4sd-datastore-mongodb
Scripts to initialize the MongoDB backend of ST4SD datastore
yascp
scRNA multimodal analysis pipeline utilised for large dataset processing - capable in handeling scRNA, scATAC, Hastag Multiplexed samples
viroconstrictor
ViroConstrictor is a pipeline designed to process raw FastQ data from viral amplicon-based sequencing and generate biologically correct consensus sequences of the given viral genome
gammasimtools
Tools and applications for the Simulation System of the CTA Observatory.
census_reald
Code and output datasets for census data in Oregon REALD categories
@stdlib/assert-is-complex128matrix-like
Test if a value is a 2-dimensional ndarray-like object containing double-precision complex floating-point numbers.
wasm-base-arrays2ptrs
Convert a list of arrays to pointers (i.e., byte offsets) in WebAssembly module memory.
mmdagent-ex
An open-source platform with CG avatar engine for research and development of spoken dialogue systems, multi-modal interactions and avatar communications.
geometric-knowledge-distillation
Code repository for paper: Geometric Knowledge Distillation via Procrustes Analysis for Efficient Motion Sequence Classification
@stdlib/blas-base-matrix-triangle-str2enum
Return the enumeration constant associated with a BLAS matrix triangle.
stats-strided-dmskmax
Calculate the maximum value of a double-precision floating-point strided array according to a mask.
utils-some-in-by
Test whether an object contains at least n properties (own and inherited) which pass a test implemented by a predicate function.
mmrisk_analysis
Analysis for "Risk taking on behalf of others: Does the timing of uncertainty revelation matter?" by Alexander W. Cappelen, Erik Ø. Sørensen, Bertil Tungodden and Xiaogeng Xu.
internet-visualization
Source code of "Towards an interactive visualization of the Internet".
https://github.com/ai4healthuol/mds-ed
Repository for the paper 'MDS-ED: Multimodal Decision Support in the Emergency Department – a benchmark dataset based on MIMIC-IV'.
math-base-special-acscdf
Compute the arccosecant (in degrees) of a single-precision floating-point number.
stats-base-sdsnanmeanors
Calculate the arithmetic mean of a single-precision floating-point strided array, ignoring NaN values and using ordinary recursive summation with extended accumulation.
constants-float32-ln-ten
Natural logarithm of `10` as a single-precision floating-point number.
conav
This repository contains the experimental datasets and ROS-based cooperative localization implementation associated with the research paper titled "Navigating Together: The CoNaV Testbed and Framework for Benchmarking Cooperative Localization".
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.