Robert Kornacki

plutus-experimental-smart-contracts. Experimental Smart Contracts In Plutus.

urbit-content-archiver. A CLI application which allows you to archive Urbit channels and all linked content in them.

urbit-chatbot-framework. A framework that allows anyone to create an Urbit Chatbot with only a few lines of code.

rust-urbit-http-api. Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.

urbit-webhook-funnel. A Rust application which funnels external webhook event data to an Urbit chat.

spacemacs-lean-layer. Spacemacs layer for the Lean Theorem Prover.

ergo-crowdfunding-cli. CLI tool which enables participating and interacting with Crowdfunding Campaigns on Ergo

pow_sha256. SHA256 PoW on any serializable datatype.

iOS-Cardano-Guessing-Game. Cardano Guessing Game On iOS Using Soshen

syre-design. Syre design documents

ebay-listing-scraper. Haskell Library To Scrape Ebay Listing Data

blockchain-ruminations. Ideas, concepts, protocols, or whatever else I come up with related to blockchain that I consider worth sharing.

idris-type-driven-development-exercises. Exercises From Type Driven Development With Idris

theorem-proving-in-lean-exercises. Exercises from Theorem Proving In Lean

unstructured. Open source libraries and APIs to build custom preprocessing pipelines for labeling, training, or production machine learning pipelines.

k-spacemacs-layer. Spacemacs layer providing K support.

idris-cli-timer. Simple CLI timer written in Idris.

plfa_exercises. Programming Languages Foundations In Agda Exercises

amazon-offers-scraper. Scrape Amazon Offers With Ease In Haskell