Pinned Repositories
documentation-theme-jekyll
A Jekyll-based theme designed for documentation and help systems. See the link for detailed instructions on setting up and configuring everything.
ratcheted
Performance Survey of Several Ratcheted Key-Agreement and Messaging Protocols
souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
souffle-lang.github.io
Soufflé
sss
A pure Go implementation of Shamir's Secret Sharing algorithm over GF(256)
tcj_sarcad_data
CSV files used to generate graphs
souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
souffle-lang.github.io
Soufflé
dcol97's Repositories
dcol97/documentation-theme-jekyll
A Jekyll-based theme designed for documentation and help systems. See the link for detailed instructions on setting up and configuring everything.
dcol97/ratcheted
Performance Survey of Several Ratcheted Key-Agreement and Messaging Protocols
dcol97/souffle
Soufflé is a translator of declarative Datalog programs into the C++ language. Soufflé is used as a domain-specific language for static program analysis, over large code bases with millions of lines of code. Soufflé aims at producing high-performance C++ code that can be compiled with the native compiler on the target machine.
dcol97/souffle-lang.github.io
Soufflé
dcol97/sss
A pure Go implementation of Shamir's Secret Sharing algorithm over GF(256)
dcol97/tcj_sarcad_data
CSV files used to generate graphs