Explorations into the realms of Haskell, Idris, Lean, Coq, Agda, Plutus, mCRL2 and wherever else fate leads me next.
Popular repositories Loading
-
plutus-experimental-smart-contracts
plutus-experimental-smart-contracts PublicExperimental Smart Contracts In Plutus.
-
urbit-content-archiver
urbit-content-archiver PublicA CLI application which allows you to archive Urbit channels and all linked content in them.
-
urbit-chatbot-framework
urbit-chatbot-framework PublicA framework that allows anyone to create an Urbit Chatbot with only a few lines of code.
-
rust-urbit-http-api
rust-urbit-http-api PublicWraps the Urbit ship http api exposing it as an easy-to-use Rust crate.
-
urbit-webhook-funnel
urbit-webhook-funnel PublicA Rust application which funnels external webhook event data to an Urbit chat.
-
spacemacs-lean-layer
spacemacs-lean-layer PublicSpacemacs layer for the Lean Theorem Prover.
457 contributions in the last year
Day of Week | March Mar | April Apr | May May | June Jun | July Jul | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More