Ivan Mikushin's repositories
tanzu-framework
Tanzu Framework provides a set of building blocks to build atop of the Tanzu platform and leverages Carvel packaging and plugins to provide users with a much stronger, more integrated experience than the loose coupling and stand-alone commands of the previous generation of tools.
cardano-ledger
The ledger implementation and specifications of the Cardano blockchain.
cardano-swaps
A distributed Cardano DEX proof-of-concept using composable atomic swaps where users maintain delegation control at all times.
component-model
Repository for design and specification of the Component Model
Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
oneiron-sdk
Oneiron: Cardano Sidechain SDK
proof-systems
The proof systems used by Mina
simplelanguage
A simple example language built using the Truffle API.
simpletool
A simple example tool built using the Truffle instrumentation API.
snarkVM
A Virtual Machine for Zero-Knowledge Executions
snarkyjs
TypeScript framework for zk-SNARKs and zkApps
spartan
Spartan on Arkworks
wasi-sdk
WASI-enabled WebAssembly C/C++ toolchain
wasm-tools
Low level tooling for WebAssembly in Rust
wasmtime
Standalone JIT-style runtime for WebAssembly, using Cranelift