Pinned Repositories
bool-algebra-calc
A boolean algebra calculator that performs operations and simplifications on elements of a matrix according to boolean algebra laws.
chatbot-widget
jose
Universal "JSON Web Almost Everything" - JWA, JWS, JWE, JWT, JWK with no dependencies
rete-playground
Created with CodeSandbox
side-scrolling-animation
A side-scrolling animation built in Qt
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.
zenhub-testing
Playground for Zenhub
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.
joshuakarp's Repositories
joshuakarp/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.
joshuakarp/bool-algebra-calc
A boolean algebra calculator that performs operations and simplifications on elements of a matrix according to boolean algebra laws.
joshuakarp/chatbot-widget
joshuakarp/jose
Universal "JSON Web Almost Everything" - JWA, JWS, JWE, JWT, JWK with no dependencies
joshuakarp/rete-playground
Created with CodeSandbox
joshuakarp/side-scrolling-animation
A side-scrolling animation built in Qt
joshuakarp/zenhub-testing
Playground for Zenhub