vincenzoml
Researcher in Computer Science at ISTI-CNR, with expertise in Model Checking, Logics, Category Theory, and programming.
Pinned Repositories
ProgrammingLanguages
SimpleITK-dotnet-quickstart
A simple project to start developing applications using SimpleITK in FSharp
topochecker
Topochecker, a topological model checker
vincenzomlBitwig
My own bitwig controller scripts
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 .
vincenzoml's Repositories
vincenzoml/topochecker
Topochecker, a topological model checker
vincenzoml/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 .
vincenzoml/ProgrammingLanguages
vincenzoml/vincenzomlBitwig
My own bitwig controller scripts
vincenzoml/SimpleITK-dotnet-quickstart
A simple project to start developing applications using SimpleITK in FSharp
vincenzoml/apc-key-25-bitwig
Bitwig controller script for APC Key 25
vincenzoml/bitwig-NanoKONTROL2-revamped
Script designed to live with two modes , Mixer and Macro for maximum playability.
vincenzoml/graph-automata
vincenzoml/hdma
vincenzoml/adv_adr
vincenzoml/datasetter
vincenzoml/GPhotosBackup
vincenzoml/jackcat
A copycat device for the jack audio connection kit
vincenzoml/LinguaggiDiProgrammazione
vincenzoml/MIM
vincenzoml/MiniLogicA
MiniLogicA: a spatial-logical minimizer
vincenzoml/neca
vincenzoml/niivue
a WebGL2 based medical image viewer. Supports over 30 formats of volumes and meshes.
vincenzoml/niivue-example-svelte
vincenzoml/nvidia-container-toolkit
Build and run containers leveraging NVIDIA GPUs
vincenzoml/promptengineering.github.io
vincenzoml/Silk.NET
The high-speed OpenAL, OpenGL, Vulkan, and GLFW bindings library your mother warned you about.
vincenzoml/SimpleITK.github.io
vincenzoml/slcs
vincenzoml/spatial-model-checking-benchmarks
Benchmarks for https://github.com/vincenzoml/topochecker
vincenzoml/test
vincenzoml/vincenzoml
vincenzoml/vincenzoml.github.io
vincenzoml/VLUI-23
vincenzoml/WekinatorBitwig
Bitwig Studio script to support the OSC protocol.