GitHub
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
https://github.com/disberd/vscode-pluto-operations
Perform basic notebook operations on pluto notebook files from vscode
@hugoalh/symmetric-crypto
An ECMAScript (JavaScript & TypeScript) module to provide an easier symmetric crypto.
html-360-viewer
A lightweight, browser-based viewer for 360-degree images and videos. No additional setup required, just open the HTML file in any modern browser.
https://github.com/dissco/mothra-lepidoptera-measuring
Automated butterfly wing length measurement
@hugoalh/is-numeric-integral
An ECMAScript (JavaScript & TypeScript) module to determine whether the numeric is integral.
givemeed
A Digital Micrograph Script to collect three-dimension electron diffraction data.
provideq-tool-paper-poc
Proof of Concept implementation for the ProvideQ Tool Paper
stats-strided-dminabs
Calculate the minimum absolute value of a double-precision floating-point strided array.
avf
This is a repository that implements a workflow for whole genome alignment (mainly for bacteria assembly data with a ".fna" file), variant calling and format conversion (VCF to STRUCTURE, Pritchard) setting up the dataset in a suitable format for bayesian clustering analysis.
nsu-english-thesis
A repository for English Honors Theses at Nevada State University
@stdlib/math-base-tools-normhermitepolyf
Evaluate a normalized Hermite polynomial using single-precision floating-point arithmetic.
quarto-lua-env
lua-env is an extension for Quarto to provide access to LUA objects as metadata.
reproducibility-aaai24
Reproduce. Replicate. Reevaluate. The long but safe way to extend machine learning methods.
rsvrecon
A pipeline for assembling genomic sequences of respiratory syncytial virus (RSV) from NGS data
hugo-bibliography
Hugo Bibliography is a Hugo module to add bibliographies to Hugo sites.
brainglobe
(Meta-)package repository for BrainGlobe's Python tools for computational neuroanatomy.
fast-exhibit-templates
Three exhibit experience templates that allow museum professionals to create their own FAST tables without having to start from the beginning.
jitr
A fast just-in-time (JIT) compiled calculable R-matrix solver for parametric reaction models, production ready for calibration and uncertainty-quantification.
