Kasey (MicroProofs)

MicroProofs

Geek Repo

Company:Cardano Foundation

Location:Miami

Twitter:@microproofs

Github PK Tool:Github PK Tool


Organizations
aiken-lang
txpipe

Kasey's starred repositories

monotree

An optimized Sparse Merkle Tree in Rust

Language:RustLicense:MITStargazers:41Issues:0Issues:0

blaze-cardano

🔥 The hottest transaction building library for Cardano

Language:TypeScriptLicense:Apache-2.0Stargazers:39Issues:0Issues:0

sparse-merkle-tree

A sparse merkle tree lib focused on efficient on-chain proofs. Enforces ordering within the merkle tree.

Language:RustStargazers:8Issues:0Issues:0

livebook

Automate code & data workflows with interactive Elixir notebooks

Language:ElixirLicense:Apache-2.0Stargazers:4634Issues:0Issues:0

plutus

The Plutus language implementation and tools

Language:HaskellLicense:Apache-2.0Stargazers:1545Issues:0Issues:0

room

A Zellij plugin for quickly searching and switching tabs 🖤

Language:RustLicense:MITStargazers:115Issues:0Issues:0

fortuna

All the "greatness" of proof of work, now in smart contract form

Language:TypeScriptLicense:Apache-2.0Stargazers:52Issues:0Issues:0

awesome-aiken

A collection of Aiken libraries, dapps, and resources

License:CC0-1.0Stargazers:48Issues:0Issues:0
Language:JavaScriptLicense:CC-BY-4.0Stargazers:462Issues:0Issues:0

ce-jutus

Plutus for the masses

Language:RustLicense:Apache-2.0Stargazers:11Issues:0Issues:0

cardano-multiplatform-lib

Rust implementation of Cardano

Language:RustLicense:MITStargazers:92Issues:0Issues:0
Language:Emacs LispLicense:GPL-3.0Stargazers:20Issues:0Issues:0

aiken

A modern smart contract platform for Cardano

Language:RustLicense:Apache-2.0Stargazers:392Issues:0Issues:0

pix

Cardano NFT Generator CLI

Language:RustLicense:MITStargazers:30Issues:0Issues:0
Language:PythonStargazers:1083Issues:0Issues:0

StyleFlow

StyleFlow: Attribute-conditioned Exploration of StyleGAN-generated Images using Conditional Continuous Normalizing Flows (ACM TOG 2021)

Language:PythonStargazers:2412Issues:0Issues:0

rust-graphql-juniper-actix-diesel-postgres

An example GraphQL server written in Rust

Language:RustStargazers:255Issues:0Issues:0

models

A collection of pre-trained, state-of-the-art models in the ONNX format

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:7475Issues:0Issues:0

image-segmentation-keras

Implementation of Segnet, FCN, UNet , PSPNet and other models in Keras.

Language:PythonLicense:MITStargazers:2865Issues:0Issues:0
Language:HTMLStargazers:1Issues:0Issues:0