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
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
speziaccessguard
Spezi Module to Protect Views with an Access Code or Biometrics Authentication
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.
sandborg-petersen-decoder
This morphological decoder provided a lightweight decoder for the Sandborg-Petersen Morphology which is primarily tailored for Koine Greek, especially as it appears in New Testament studies and similar texts.
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
pocpbenchmark
Nextflow workflow for benchmarking proteins alignment tools for improved genus delineation using the Percentage Of Conserved Proteins (POCP)
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
cosmpy
A Python client library for interacting with blockchains based on the Cosmos-SDK
@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.
