Skip to content
View zshipko's full-sized avatar
🐢
🐢
132 followers · 67 following
  • Los Angeles, CA

Block or report zshipko

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. futhark-bindgen futhark-bindgen Public

    A Futhark binding generator for Rust and OCaml

    Rust 29 6

  2. ocaml-rs ocaml-rs Public

    OCaml extensions in Rust

    Rust 275 32

  3. mirage/irmin mirage/irmin Public

    Irmin is a distributed database that follows the same design principles as Git

    OCaml 1.9k 162

  4. extism/extism extism/extism Public

    The framework for building with WebAssembly (wasm). Easily & securely load wasm modules, move data, call functions, and build extensible apps.

    Rust 5.1k 143

  5. extism/lean4-sdk extism/lean4-sdk Public

    Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications

    Lean 18 2

  6. extism/verified-count-vowels extism/verified-count-vowels Public

    Coq 8