Beast code in Giters

Valerio Bellizzomi's repositories

acrn-hypervisor

Project ACRN hypervisor

Language:CBSD-3-Clause100

binaryanalysis-ng

Binary Analysis Next Generation (BANG)

Language:PythonAGPL-3.0100

bots

Bots EDI Translator

Language:PythonGPL-3.01 10

Caterpillar

Caterpillar: A BPMN-based BPMS for Ethereum

Language:TypeScriptBSD-3-Clause100

A Virtual Machine Monitor for modern Cloud workloads. Features include CPU, memory and device hotplug, support for running Windows and Linux guests, device offload with vhost-user and a minimal compact footprint. Written in Rust with a strong focus on security.

Language:RustApache-2.0100

CNC_gcode_to_reprap

Language:PythonGPL-2.0100

cubedos

A flight software framework in SPARK/Ada

100

DSpace

(Official) The DSpace digital asset management system that powers your Institutional Repository

Language:JavaNOASSERTION100

dspace-angular

Angular UI for DSpace 7. See the README below for links to resources and documentation.

Language:TypeScriptNOASSERTION100

gpuowl

GPU Mersenne primality test.

Language:C++GPL-3.0100

gpuowl-development

SEL-ROC Developments for GpuOwl

100

htcondor

HTCondor source repository, formerly the Condor Project

Language:C++Apache-2.0100

irods

Open Source Data Management Software

Language:C++NOASSERTION100

linuxcnc

LinuxCNC controls CNC machines. It can drive milling machines, lathes, 3d printers, laser cutters, plasma cutters, robot arms, hexapods, and more.

Language:PythonGPL-2.0100

local

W&B Local is the self hosted version of Weights & Biases

MIT100

openhab-alexa

openHAB skill for Amazon Alexa

Language:JavaScriptEPL-2.0100

openhabian

openHABian - empowering the smart home, for Raspberry Pi and Debian systems

ISC100

optaplanner

AI constraint solver in Java to optimize the vehicle routing problem, employee rostering, task assignment, maintenance scheduling, conference scheduling and other planning problems.

Language:JavaApache-2.0100