gfour
Follow
-
eudi-srv-web-issuing-eudiw-py Public
Forked from eu-digital-identity-wallet/eudi-srv-web-issuing-eudiw-pyAPIs and code of the eudiw provider backend PID, mDL and EAA issuer following OID4VCI
Python Apache License 2.0 UpdatedFeb 11, 2025 -
interop_event_tools Public
GRNET tools for the POTENTIAL "interop event"
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 11, 2025 -
endesive Public
Forked from m32/endesiveen-crypt, de-crypt, si-gn, ve-rify - smime, pdf, xades and plain files in pure python
Python MIT License UpdatedFeb 7, 2025 -
pyMDOC-CBOR Public
Forked from eu-digital-identity-wallet/pyMDOC-CBORMDOC CBOR static Verifier and Issuer for EUDI Wallet PID and mDL use cases
Python Apache License 2.0 UpdatedJan 23, 2025 -
eudi-app-android-wallet-ui Public
Forked from eu-digital-identity-wallet/eudi-app-android-wallet-uiEUDI Wallet Prototype
Kotlin European Union Public License 1.2 UpdatedOct 21, 2024 -
eudi-srv-pid-issuer Public
Forked from eu-digital-identity-wallet/eudi-srv-pid-issuerA micro-service acting like PID/mDL Issuer according to OpenID4VCI
Kotlin Apache License 2.0 UpdatedMay 13, 2024 -
-
mupdf Public
Forked from ArtifexSoftware/mupdfmupdf mirror
C GNU Affero General Public License v3.0 UpdatedApr 13, 2024 -
-
typeshed Public
Forked from python/typeshedCollection of library stubs for Python, with static types
Python Other UpdatedJan 8, 2024 -
antlr2datalog Public
Datalog-based source code analysis framework.
-
grammars-v4 Public
Forked from antlr/grammars-v4Grammars written for ANTLR v4; expectation that the grammars are free of actions.
ANTLR UpdatedFeb 16, 2021 -
souffle Public
Forked from souffle-lang/souffleSoufflé 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++ UpdatedJul 29, 2019 -
differential-datalog Public
Forked from vmware/differential-datalogAn in-memory incremental Datalog engine based on Differential Dataflow
Haskell MIT License UpdatedJun 4, 2019 -
soot Public
Forked from soot-oss/sootSoot - A Java optimization framework
Java GNU Lesser General Public License v2.1 UpdatedFeb 13, 2019 -
Signal-Android Public
Forked from signalapp/Signal-AndroidA private messenger for Android.
Java GNU General Public License v3.0 UpdatedDec 4, 2018 -
gic Public
The generalized intensional compiler for a Haskell-like language.
-
hBDD Public
Forked from peteg/hBDDBDD (Boolean Decision Diagram) bindings for Haskell
Haskell Other UpdatedJul 30, 2015 -
php-intro-exercise Public
Forked from maellak/php-intro-exerciseΕισαγωγική Άσκηση στην PHP - 2η εβδομάδα 2ου σεμιναριακού κύκλου
UpdatedOct 10, 2014 -
nickel.rs Public
Forked from nickel-org/nickel.rsAn expressjs inspired web framework for Rust
Rust MIT License UpdatedSep 18, 2014 -
rust_for_rubyists Public
Forked from steveklabnik/rust_for_rubyistsLearn Rust
CSS GNU Affero General Public License v3.0 UpdatedJan 12, 2014 -
pmmh-g Public
Python Multimodal Middleware Protocol/Hub with browser and routing GUI.
Python UpdatedSep 26, 2012 -
libfreenect Public
Forked from OpenKinect/libfreenectLibfreenect for Android with audio support.
C UpdatedSep 11, 2012