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:

Last updated 2 months ago

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:

Functional register-based virtual machine with extensible instruction set

Instruction set architecture, virtual machine, runtimes and toolchain

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

AluVM

Strict Types