UBIDECO Institute
Ubiquitous Deterministic Computing
UBIDECO Institute is a non-profit stewarding 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 Institute 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
Last updated
