| description | cover | coverY | layout |
|---|---|---|---|
Laboratories for Ubiquitous Deterministic Computing |
0 |
landing |
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 |