Popular repositories Loading

1. plutus-experimental-smart-contracts plutus-experimental-smart-contracts Public

   Experimental Smart Contracts In Plutus.

   Haskell 34 7

2. urbit-content-archiver urbit-content-archiver Public

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

   Rust 32 2

3. urbit-chatbot-framework urbit-chatbot-framework Public

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

   Rust 25 7

4. rust-urbit-http-api rust-urbit-http-api Public

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

   Rust 24 8

5. urbit-webhook-funnel urbit-webhook-funnel Public

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

   Rust 15 1

6. spacemacs-lean-layer spacemacs-lean-layer Public

   Spacemacs layer for the Lean Theorem Prover.

   Emacs Lisp 7 4