Repositories list

• viziquer

  Public
  Tool for Search in Structured Semantic Data

  linked-datasparqlrdf+ 7graphicalquery-builderquery-languagetriplestoresparql-query-builderlinkeddatavirtuoso

  JavaScript

  •

  MIT License

  •5•19•1•1•Updated Jan 9, 2025Jan 9, 2025

• data-shape-server

  Public
  PLpgSQL

  •0•1•0•0•Updated Jan 9, 2025Jan 9, 2025

• OBIS-SchemaExtractor

  Public
  OBIS Schema Extractor

  Java

  •

  Apache License 2.0

  •1•2•1•1•Updated Dec 19, 2024Dec 19, 2024

• viziquer-tools-lod24

  Public
  Scripts and data to launch a local instance of Viziquer Tools

  PLpgSQL

  •2•0•0•0•Updated Dec 13, 2024Dec 13, 2024

• viziquer-tools-kg

  Public
  Scripts and data to launch a local instance of Viziquer Tools

  PLpgSQL

  •2•0•0•0•Updated Dec 9, 2024Dec 9, 2024

• viziquer-tools

  Public
  Scripts and data to launch a local instance of Viziquer Tools

  sparqlrdfknowledge-graph+ 4sparql-endpointsvisual-schemeviziquervisual-queries

  PLpgSQL

  •2•1•0•0•Updated Nov 27, 2024Nov 27, 2024

• ca-scripts

  Public
  Scripts for implementing your own CA (certification authority) with openssl

  Shell

  •0•1•0•0•Updated Sep 19, 2024Sep 19, 2024

• tls-injection-client

  Public
  HTTPS and WSS client with PQC support

  Java

  •

  Other

  •0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

• haproxy-for-windows

  Public
  Scripts for compiling haproxy for windows using cygwin. Binaries are also included.

  Batchfile

  •0•1•0•0•Updated Jul 2, 2024Jul 2, 2024

• tls-injection-pqc

  Public
  A repository which adds the ability to use PQC algorithms in BouncyCastle (thanks to our TLS Injection Mechanism)

  Java

  •

  Other

  •0•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• tls-injection-mechanism

  Public
  Bouncy Castle Fork at IMCS SysLab for implementing the TLS Injection Mechanism (for adding PQC/QKD-related code to TLS)

  Java

  •

  MIT License

  •1.1k•0•0•0•Updated Jun 18, 2024Jun 18, 2024

• tls-injection-smartcard

  Public
  A repository which adds the ability to authenticate TLS clients by a smartcard (or some other external device). We rely on the BouncyCastle TLS implementation and our TLS Injection Mechanism.

  Java

  •

  Other

  •0•0•0•0•Updated May 30, 2024May 30, 2024

• qrng-client

  Public
  Java

  •

  Other

  •1•3•0•0•Updated May 17, 2024May 17, 2024

• pqproxy

  Public
  0•0•0•0•Updated May 14, 2024May 14, 2024

• dss-schema-explorer

  Public
  Lua

  •

  MIT License

  •0•1•0•0•Updated Apr 27, 2024Apr 27, 2024

• tls-injection-qaas

  Public
  A repository which adds the ability to use QKD as a Service (QaaS, based on our Butterfly protocol) within the BouncyCastle TLS implementation (thanks to our TLS Injection Mechanism)

  0•0•0•0•Updated Apr 19, 2024Apr 19, 2024

• data-shape-retrieval-services

  Public archive
  Data shape retrieval services for large RDF endpoints

  PLpgSQL

  •0•0•0•0•Updated Dec 8, 2023Dec 8, 2023

• qkd-as-a-service

  Public
  Java

  •1•2•0•0•Updated Dec 7, 2023Dec 7, 2023

• qrng-web-service

  Public
  Java

  •

  Other

  •0•2•0•0•Updated Aug 21, 2023Aug 21, 2023

• sparklis

  Public
  Sparklis is a query builder in natural language that allows people to explore and query SPARQL endpoints with all the power of SPARQL and without any knowledge of SPARQL.

  OCaml

  •

  Apache License 2.0

  •10•0•0•0•Updated Jul 31, 2023Jul 31, 2023

• qrng-dev-qrandom

  Public
  Remote quantum random number generator service that provides a replacement for /dev/random.

  C

  •

  GNU General Public License v3.0

  •0•1•0•0•Updated Jul 19, 2023Jul 19, 2023

• belief_propagation

  Public
  Belief Propagation-based SAT solver

  Python

  •

  MIT License

  •0•0•0•0•Updated Jul 14, 2023Jul 14, 2023

• oqs-haproxy

  Public
  Scripts for compiling OpenSSL and HAProxy with Open Quantum Safe algorithms on *NIX and Windows.

  Shell

  •

  Other

  •0•0•0•0•Updated Jul 12, 2023Jul 12, 2023

• QuerySAT

  Public
  Official repository for paper "Goal-Aware Neural SAT Solver"

  Python

  •

  MIT License

  •3•15•0•0•Updated Jun 10, 2023Jun 10, 2023

• RRU

  Public
  Official TensorFlow implementation of the paper "Gates are not what you need in RNNs"

  Python

  •

  MIT License

  •1•4•0•2•Updated Mar 24, 2023Mar 24, 2023

• DiffusionExperiments

  Public
  Official repository for paper "Goal-Aware Neural SAT Solver"

  Python

  •

  MIT License

  •3•0•0•0•Updated Oct 8, 2022Oct 8, 2022

• sat-generator

  Public
  Tools for generating SAT instances using OOP-based Python code

  Python

  •

  Other

  •1•1•0•0•Updated Aug 10, 2022Aug 10, 2022

• imcs_layoutengine

  Public
  IMCS SysLab layout library for laying out graph diagrams and dialog windows.

  HTML

  •1•1•0•7•Updated Jul 8, 2022Jul 8, 2022

• DL4media-image-recommendation

  Public
  Python

  •0•0•0•0•Updated May 4, 2022May 4, 2022

• DL4media-ticker-extractor

  Public
  Python

  •0•0•0•0•Updated Apr 21, 2022Apr 21, 2022