UBIDECO Labs

Laboratories for Ubiquitous Deterministic Computing

UBIDECO Labs does an open-source academic research and applied development of computing systems (hardware, virtual machines, environments) which are formally verifiable and can work deterministically producing the same results independently of the used platform in a trustless way.

Projects

Currently, UBIDECO Labs runs three highly-related projects:

AluVM

Functional register-based virtual machine with extensible instruction set

Instruction set architecture, virtual machine, runtimes and toolchain

Strict Types

Formal notation and grammar for strongly typed systems

Syntax, language-specific implementations, compiler, code generator, toolchain

Cation

Categorical programming language with termination analysis, dependent types and parallel computing

Language specs, compiler, linker, toolchain