Rust-like high-level language that compiles down to Simplicity bytecode. Work in progress.

The core component that is used to participate in a Cardano decentralised blockchain.

Simulation testing Cardano node(s)

Lean circuit DSL

Linux running inside a PDF file via a RISC-V emulator

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Rust library for quantitative finance.

plasTeX plugin to build formalization blueprints.

Beginner's guide to Tactic Programming in Lean

The current, performant & industrial strength version of Holochain on Rust.

Sail RISC-V model

Sail architecture definition language

A curated list of multi party computation resources and links.

examples and utilities of Dstack applications

A curated list of open source Trusted Execution Environments (TEEs) based AI agents

Metaprogramming, verified meta-theory and implementation of Rocq in Rocq

EOS - Enclave Operating System

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)

Cocos AI - Confidential Computing System for AI

A CLI tool for interacting with SEV-SNP guest environment

An implementation of a proof environment in Lean for formalizing motivated proofs, based on Ed Ayers' thesis: https://www.edayers.com/thesis.

Smart contract specification language

Specification for the Execution Layer. Tracking network upgrades.

The hub for Ethereum-wide interoperability. A collective effort focused on defining common standards and system designs to keep the Ethereum ecosystem fast, unified, and diverse. Developer→User→Pro…

Ethereum Proof-of-Stake Consensus Specifications

Symbolic and concrete EVM execution engine