Pinned Repositories
AAD
AAD
Bachelorprojekt
Ulrik and Philip's Bachelor's Thesis
BoxProver
Simple web interface for writing box proofs in Twelf
corda
Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.
ghdid
KEEP
Kotlin Evolution and Enhancement Process
kotest-blockhound-integration-bug
kryo-unsound-map-deserialization
Proof
Monad for checking proofs in propositional logic, with support for typesetting the proof in LaTeX
ulrikrasmussen's Repositories
ulrikrasmussen/BoxProver
Simple web interface for writing box proofs in Twelf
ulrikrasmussen/AAD
AAD
ulrikrasmussen/Proof
Monad for checking proofs in propositional logic, with support for typesetting the proof in LaTeX
ulrikrasmussen/Bachelorprojekt
Ulrik and Philip's Bachelor's Thesis
ulrikrasmussen/corda
Corda is an open source blockchain project, designed for business from the start. Only Corda allows you to build interoperable blockchain networks that transact in strict privacy. Corda's smart contract technology allows businesses to transact directly, with value.
ulrikrasmussen/ghdid
ulrikrasmussen/KEEP
Kotlin Evolution and Enhancement Process
ulrikrasmussen/kotest-blockhound-integration-bug
ulrikrasmussen/kryo-unsound-map-deserialization
ulrikrasmussen/peterlyons.com-zola
My work web site built with zola static site generator
ulrikrasmussen/popl2016-papers
Links to publicly available preprints for the POPL'16 conference
ulrikrasmussen/reproduce-whitelist-bug
ulrikrasmussen/scripts
ulrikrasmussen/TwelfParser
Parser for a large subset of the Twelf language.