Skip to content
@UBIDECO

UBIDECO Labs

R&D on Ubiquitous Deterministic Computing
README.md

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:

Project description GitHub org

AluVM

 Functional register-based virtual machine with extensible instruction set AluVM

Strict Types

 Formal notation and grammar for strongly typed systems Strict-Types

Cation

 Programming language for AluVM made with category theory and Strict Types Cation-Lang

Pinned Loading

  1. rust-baid64 rust-baid64 Public

    Easy-to-check Base64 encoding for identities

    Rust 1 4

  2. ascii-armor ascii-armor Public

    ASCII armoring library and command-line utility

    Rust 2

  3. vesper vesper Public

    Declarative human-readable structural language, which is much better than XML

    Rust 8 1

  4. parcel parcel Public

    Package manager for Strict Types, AluVM and Cation

    Rust 2 1

Repositories

Showing 9 of 9 repositories

People

This organization has no public members. You must be a member to see who’s a part of this organization.

Top languages

Loading…

Most used topics

Loading…