Popular repositories Loading

1. souffle souffle Public

   Forked from souffle-lang/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.

   C++ 1

2. side-scrolling-animation side-scrolling-animation Public

   A side-scrolling animation built in Qt

   C++

3. bool-algebra-calc bool-algebra-calc Public

   A boolean algebra calculator that performs operations and simplifications on elements of a matrix according to boolean algebra laws.

   Common Lisp

4. zenhub-testing zenhub-testing Public

   Playground for Zenhub

5. jose jose Public

   Forked from panva/jose

   Universal "JSON Web Almost Everything" - JWA, JWS, JWE, JWT, JWK with no dependencies

   JavaScript

6. chatbot-widget chatbot-widget Public

   HTML