kjekac
Functional p2p programmer. Interested in programming languages, immutable hash-based data structures, type theory, ...
@operating-function
Pinned Repositories
klab
K framework proof explorer & smart contract specification format
act
Smart contract specification language
AFPcourse
http://www.cse.chalmers.se/edu/course/afp/
awesome-urbit
A curated collection of projects and tools in the Urbit ecosystem.
Contract-language-experiments
docs
ethereum-data-sql
definitions and sql storage for the Ethereum Haskell project.
pallas
An event sourced, purely functional application platform.
typedefs
Programming language agnostic type construction language based on polynomials.
kjekac's Repositories
kjekac/AFPcourse
http://www.cse.chalmers.se/edu/course/afp/
kjekac/awesome-urbit
A curated collection of projects and tools in the Urbit ecosystem.
kjekac/Contract-language-experiments
kjekac/docs
kjekac/ethereum-data-sql
definitions and sql storage for the Ethereum Haskell project.
kjekac/hserver-eth
kjekac/OpenBazaar
kjekac/pallas-clean
test bed for the clean history Pallas repo
kjekac/plunder-docs
kjekac/urbit.org
The source for urbit.org