kian-weimer Goto Github PK

blogtrial

Gatsby starter for creating a blog

crazy-cat-caretaker-iot

University of Iowa IOT Project, Spring 2023

datamining

django-with-selenium

dolmen

An OCaml library providing clean and flexible parser for languages used in automated deduction

hasi

High-throughput Applications for Skeletal Imaging

il

Description of Model Checking Intermediate Language

itk

Insight Toolkit (ITK) -- Official Repository. ITK builds on a proven, spatially-oriented architecture for processing, segmentation, and registration of scientific images in two, three, or more dimensions.

itkanalyzeobjectmap

A temporary repository for updating the itkAnalyzeObjectMap

itkboneenhancement

itkgrowcut

ITKGrowCut is a remote module for ITK. It segments a 3D image from user-provided foreground and background seeds.

itksphinxexamples

Cookbook examples for the Insight Toolkit documented with Sphinx

itktubetk

TubeTK is an open-source toolkit for the segmentation, registration, and analysis of tubes and surfaces in images, developed by Kitware, Inc.

itkultrasound

ITK module with classes particularly useful for ultrasound.

kind2

Multi-engine SMT-based automatic model checker for safety properties of Lustre programs

planetary

pong

pongold

python-black-check

A customisable GitHub action to check the style of Python code with black.

raytracing

rtk

Reconstruction Toolkit

seniordesignlab1

seniordesignlab2

seniordesignlab3

Gatsby starter for a Contentful project from the community.

seniordesignlab3-1

set

sudoku

unityprojects