GitHub
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
bilevelbenchmark.jl
Benchmark of Biobjective Optimization problems in a BBO context
https://github.com/disberd/vscode-pluto-operations
Perform basic notebook operations on pluto notebook files from vscode
https://github.com/arcadia-science/2024-organismal-selection
Code associated with the pub "Leveraging evolution to identify novel organismal models of human biology"
covid19-ace2-variants
Research code and data to interpret the effect of ACE2 variants on SARS-CoV-2 infection
https://github.com/digital-botanical-gardens-initiative/directus-prod
The EMI directus production instance
uniqc
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.
https://github.com/digital-botanical-gardens-initiative/directus-dev
The EMI directus dev instance
BlochSimulators
Julia package for performing Bloch simulations within the context of Magnetic Resonance Imaging
robustbench
RobustBench: a standardized adversarial robustness benchmark [NeurIPS 2021 Benchmarks and Datasets Track]
medical-analysis-assistant
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/uwb-nlos-human-detection
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
Official code for "LLM-CXR: Instruction-Finetuned LLM for CXR Image Understanding and Generation"
https://github.com/disi-unibo-nlp/easumm
[DATA22 and Springer LNCS] Graph-Enhanced Biomedical Abstractive Summarization via Factual Evidence Extraction
https://github.com/disi-unibo-nlp/ddegk
Implementation of Deep Divergence Event Graph Kernels
denspp.offline
End-to-End Software Framework for Emulating Signal Processing Pipelines
neteasecrowd-dataset
NetEaseCrowd dataset, a collection of data obtained from You Ling crowdsourcing platform, Fuxi AI Lab, NetEase.
https://github.com/disneyhogg/personal_webpage
My personal website, now hosted on GitHub
https://github.com/dissco/doi-nsc
Persistent identification of Digital Extended Specimens
https://github.com/disneyhogg/jnr_skyrmions
Julia code based upon Skyrmions3D to study JNR skyrmions
https://github.com/disneyhogg/wiman-translation
A translation from German to English of the work by Anders Wiman "Ueber die algebraischen Curven von den Geschlechtern p = 4, 5 und 6, welche eindeutige Transformationen in sich besitze", 1895.
project-classify-fish-sounds
An archive repo with collection of data, scripts, notebooks, and a model to detect fish sounds from spectrograms.
https://github.com/disneyhogg/brings_curve
A repository holding code related to my paper with H. W. Braden on Bring's curve.
2025-04-07-kit
Workshop page for the Software Carpentry Workshop @ KIT - Spring 2025
diffgeo
A Mathematica package to handle everything in differential geometry. From calculating curvature invariants to Hodge star operations on forms, this package can do it all! (That's the aim at least)
https://github.com/dissco/dissco-core-orchestration-backend
Orchestration backend to start translators and enrichment service
https://github.com/dissco/handle-manager
API that enforces DiSSCo requirements for handle records
https://github.com/dissco/dissco-mas-scheduler-service
Service to schedule machine annotation services.
https://github.com/dissco/dissco-core-deployment
DiSSCo core infrastructure. Contains files for deploying and managing the core infrastructure components
dermoscopic-image-classification
Repository contain code for paper titled "Class Imbalanced Dermoscopic Image Classification using Data Augmentation and GAN"
https://github.com/dissco/dissco-core-backend
Generic backend for DiSSCo service. Provides API's for both external users as the frontend
https://github.com/dissco/dissco-core-digital-specimen-processor
Processing service for digital specimen
https://github.com/dissco/dissco-themes
This repository contains themes created for DiSSCo.
gsa-power_loss_optimization
My Electrical Engineer final paper. A program that utilizes the Gravitational Search Algorithm for power loss optimization in Power Systems.
https://github.com/dissco/dissco-nusearch-service
This fork will contain the DiSSCo specific implementation of the name usage search of the col-nusearch-service.
https://github.com/dissco/dissco-core-translator
Translator for the dissco core architecture
https://github.com/dissco/dissco-core-provenance-service
This service provides services to store and distribute provenance records. It receives the records from the other processing services and stores and distributes it.
https://github.com/dissco/dissco-data-exporter-backend
Manages the packaging and exporting of DiSSCO data to clients
https://github.com/dissco/dissco-export-job
Scheduled job to export DiSSCo Data
refmap-psychoacoustics
REFMAP project task 4.3: Psychoacoustics of unmanned aerial vehicle (UAV) sound