Pinned Repositories
compiler
Compiler from MidenIR to Miden Assembly
ergo-contracts
Contracts for Ergo with verified properties
ergo-playgrounds
Run contracts + off-chain code in the browser
ergo-scala-compiler
ErgoScala to ErgoTree compiler
sigma-rust
Rust implementation of ErgoTree interpreter and wallet-related features
sigmastate-interpreter
ErgoScript compiler and ErgoTree Interpreter implementation for Ergo blockchain
apn_on_rails
Apple Push Notifications on Rails
ehrchain
Proof-of-Concept for storing health records in a public blockchain
omnizk
Compiler framework for ZK VMs
greenhat's Repositories
greenhat/omnizk
Compiler framework for ZK VMs
greenhat/wasmtime
A fast and secure runtime for WebAssembly
greenhat/cairo
Cairo is the first Turing-complete language for creating provable programs for general computation.
greenhat/cargo-component
A Cargo subcommand for creating WebAssembly components based on the component model proposal.
greenhat/cargo-component-v0.6-no-std-repr
Example of no_std component built with cargo-component v0.6
greenhat/cargo-component-v0.7-no-std-repr
Minimal case for reproducing cargo-component v0.7 breakage of `#![no_std]`
greenhat/cargo-release
Cargo subcommand "release": everything about releasing a rust crate.
greenhat/deno
A secure JavaScript and TypeScript runtime
greenhat/dexy-stable
Contracts and offchain part of DEXy stablecoin
greenhat/dotfiles
my ~/.config
greenhat/ghcide
A library for building Haskell IDE tooling
greenhat/halo2
greenhat/llvm-project
Rust-specific fork of LLVM.
greenhat/miden
STARK-based virtual machine
greenhat/miden-ir
MidenIR for compiling to Miden Assembly from higher-level languages
greenhat/miden-project-template
A template for Miden project
greenhat/nvim-metals
A Metals plugin for Nvim
greenhat/pliron
Programming Languages Intermediate Representation
greenhat/pse-zkevm-circuits
greenhat/rust
Empowering everyone to build reliable and efficient software.
greenhat/rust-analyzer
An experimental Rust compiler front-end for IDEs
greenhat/rustc_codegen_cranelift
Cranelift based backend for rustc
greenhat/telescope-tmux.nvim
Integration for tmux with telescope.nvim
greenhat/triton-vm
Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
greenhat/unison.rs
greenhat/valida
A STARK-based VM focused on code reuse, performance, and modularity
greenhat/wasm-bindgen
Facilitating high-level interactions between Wasm modules and JavaScript
greenhat/Whisper-Dictation
A dictation application on linux using openai's whisper. Currently only used on KDE wayland.
greenhat/whisper_dictation
Fast, keyboard-emulated dictation for Linux with using whisper-jax & threading.
greenhat/wit-bindgen
A language binding generator for WebAssembly interface types