vincenzoml

Vincenzo Ciancia's repositories

topochecker

Topochecker, a topological model checker

Language:OCamlGPL-3.019 3 3

VoxLogicA

VoxLogicA: the "Voxel-based Logical Analyser", is an interpreter of a declarative language, inspired by spatial logics, to analyse images in a simple way. See also http://www.voxlogica.org .

12 4 2

ProgrammingLanguages

Language:F#2 10

vincenzomlBitwig

My own bitwig controller scripts

Language:JavaScript2 10

SimpleITK-dotnet-quickstart

A simple project to start developing applications using SimpleITK in FSharp

Language:C#1 1 1

apc-key-25-bitwig

Bitwig controller script for APC Key 25

Language:JavaScriptBSD-2-Clause000

bitwig-NanoKONTROL2-revamped

Script designed to live with two modes , Mixer and Macro for maximum playability.

Language:JavaScriptGPL-3.0000

graph-automata

Language:TeX020

hdma

Language:TeX020

adv_adr

010

GPhotosBackup

Language:F#000

jackcat

A copycat device for the jack audio connection kit

Language:CGPL-2.0010

LinguaggiDiProgrammazione

Language:HTML000

MiniLogicA

MiniLogicA: a spatial-logical minimizer

Language:F#Apache-2.0000

neca

Language:F#000

niivue

a WebGL2 based medical image viewer. Supports over 30 formats of volumes and meshes.

Language:JavaScriptBSD-2-Clause000

niivue-example-svelte

Language:Svelte000

nvidia-container-toolkit

Build and run containers leveraging NVIDIA GPUs

Language:GoApache-2.0000

promptengineering.github.io

000

Silk.NET

The high-speed OpenAL, OpenGL, Vulkan, and GLFW bindings library your mother warned you about.

Language:C#MIT000

SimpleITK.github.io

Language:HTMLApache-2.0000

slcs

Language:OCaml010

spatial-model-checking-benchmarks

Benchmarks for https://github.com/vincenzoml/topochecker

Language:ShellApache-2.0010

test

000

vincenzoml

Language:CSS000

vincenzoml.github.io

Language:CSS000

WekinatorBitwig

Bitwig Studio script to support the OSC protocol.

Language:JavaScriptLGPL-3.0000