GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ robkorn
4 open source projects by robkorn
[ Open user page on Github ]
1.
urbit-webhook-funnel
A Rust application which funnels external webhook event data to an Urbit chat.
✭ 15
rust
shell
2.
urbit-content-archiver
A CLI application which allows you to archive Urbit channels and all linked content in them.
✭ 33
rust
shell
urbit
ship
archiver
3.
plutus-experimental-smart-contracts
Experimental Smart Contracts In Plutus.
✭ 34
haskell
smart-contracts
model-checking
formal-methods
plutus
mcrl2
cardano
4.
rust-urbit-http-api
Wraps the Urbit ship http api exposing it as an easy-to-use Rust crate.
✭ 24
rust
1-4
of
4
user projects