Repos
20
Stars
24
Forks
2
Top Language
Python
Loading contributions...
Top Repositories
The generalized intensional compiler for a Haskell-like language.
Datalog-based source code analysis framework.
GRNET tools for the POTENTIAL "interop event"
An in-memory incremental Datalog engine based on Differential Dataflow
en-crypt, de-crypt, si-gn, ve-rify - smime, pdf, xades and plain files in pure python
MDOC CBOR static Verifier and Issuer for EUDI Wallet PID and mDL use cases
Repositories
20GRNET tools for the POTENTIAL "interop event"
Datalog-based source code analysis framework.
An in-memory incremental Datalog engine based on Differential Dataflow
en-crypt, de-crypt, si-gn, ve-rify - smime, pdf, xades and plain files in pure python
MDOC CBOR static Verifier and Issuer for EUDI Wallet PID and mDL use cases
No description provided.
mupdf mirror
Proof-of-concept implementation of SD-JWS EBSI EBIP
Collection of library stubs for Python, with static types
The generalized intensional compiler for a Haskell-like language.
Grammars written for ANTLR v4; expectation that the grammars are free of actions.
Soot - A Java optimization framework
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.
A private messenger for Android.
BDD (Boolean Decision Diagram) bindings for Haskell
Εισαγωγική Άσκηση στην PHP - 2η εβδομάδα 2ου σεμιναριακού κύκλου
An expressjs inspired web framework for Rust
Python Multimodal Middleware Protocol/Hub with browser and routing GUI.
Learn Rust
Libfreenect for Android with audio support.