robkorn
Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
dcSpark
Pinned Repositories
ebay-listing-scraper
Haskell Library To Scrape Ebay Listing Data
ergo-crowdfunding-cli
CLI tool which enables participating and interacting with Crowdfunding Campaigns on Ergo
iOS-Cardano-Guessing-Game
Cardano Guessing Game On iOS Using Soshen
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
pow_sha256
SHA256 PoW on any serializable datatype.
rust-urbit-http-api
Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.
spacemacs-lean-layer
Spacemacs layer for the Lean Theorem Prover.
urbit-chatbot-framework
A framework that allows anyone to create an Urbit Chatbot with only a few lines of code.
urbit-content-archiver
A CLI application which allows you to archive Urbit channels and all linked content in them.
urbit-webhook-funnel
A Rust application which funnels external webhook event data to an Urbit chat.
robkorn's Repositories
robkorn/plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
robkorn/urbit-content-archiver
A CLI application which allows you to archive Urbit channels and all linked content in them.
robkorn/urbit-chatbot-framework
A framework that allows anyone to create an Urbit Chatbot with only a few lines of code.
robkorn/rust-urbit-http-api
Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.
robkorn/urbit-webhook-funnel
A Rust application which funnels external webhook event data to an Urbit chat.
robkorn/spacemacs-lean-layer
Spacemacs layer for the Lean Theorem Prover.
robkorn/ergo-crowdfunding-cli
CLI tool which enables participating and interacting with Crowdfunding Campaigns on Ergo
robkorn/iOS-Cardano-Guessing-Game
Cardano Guessing Game On iOS Using Soshen
robkorn/pow_sha256
SHA256 PoW on any serializable datatype.
robkorn/syre-design
Syre design documents
robkorn/blockchain-ruminations
Ideas, concepts, protocols, or whatever else I come up with related to blockchain that I consider worth sharing.
robkorn/k-spacemacs-layer
Spacemacs layer providing K support.
robkorn/plfa_exercises
Programming Languages Foundations In Agda Exercises
robkorn/unstructured
Open source libraries and APIs to build custom preprocessing pipelines for labeling, training, or production machine learning pipelines.
robkorn/agda-spacemacs-layer
Spacemacs agda layer with keybindings closer to the Idris layer.
robkorn/awesome-urbit
A curated collection of projects and tools in the Urbit ecosystem.
robkorn/bert.cpp
ggml implementation of BERT
robkorn/CIPs
robkorn/community
Discussion and documentation on community practices
robkorn/eips
Ergo Improvement Proposals
robkorn/ergo-appkit
Appkit: A Library for Polyglot Development of Ergo Applications using GraalVM
robkorn/eventsource-threaded
Threaded Rust client for the EventSource browser API with support for headers.
robkorn/gall-guide
Complete guide to Gall and Landscape apps on Urbit
robkorn/gammy
Adaptive screen brightness/temperature for Windows, Linux, FreeBSD
robkorn/jormungandr
node
robkorn/mCRL2-spacemacs-layer
Integration of the mCRL2 toolset into Spacemacs with Syntax highlighting.
robkorn/plutus
The Plutus language reference implementation and tools
robkorn/sea-serpent-setup
robkorn/sigma-rust
Alternative and simple implementation of ErgoTree interpreter
robkorn/yoroi-frontend
Yoroi Wallet - Chrome extension (React frontend)