UBIDECO Labs
Laboratories for Ubiquitous Deterministic Computing
Last updated
Laboratories for Ubiquitous Deterministic Computing
Last updated
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.
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
Categorical programming language with termination analysis, dependent types and parallel computing
Language specs, compiler, linker, toolchain