SysLab at IMCS, UL (lumii.lv) (LUMII-Syslab)

SysLab at IMCS, UL (lumii.lv)

LUMII-Syslab

Geek Repo

SysLab group at the Institute of Mathematics and Computer Science, University of Latvia (IMCS, UL)

Home Page:http://syslab.lumii.lv/

Github PK Tool:Github PK Tool

SysLab at IMCS, UL (lumii.lv)'s repositories

viziquer

Tool for Search in Structured Semantic Data

Language:JavaScriptLicense:MITStargazers:17Issues:7Issues:5

QuerySAT

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

Language:PythonLicense:MITStargazers:14Issues:5Issues:2

RRU

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

Language:PythonLicense:MITStargazers:4Issues:10Issues:0
Language:JavaLicense:NOASSERTIONStargazers:3Issues:4Issues:0

OBIS-SchemaExtractor

OBIS Schema Extractor

Language:JavaLicense:Apache-2.0Stargazers:2Issues:6Issues:0
Language:JavaLicense:NOASSERTIONStargazers:2Issues:5Issues:0

ca-scripts

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

Language:ShellStargazers:1Issues:4Issues:0
Language:LuaLicense:MITStargazers:1Issues:0Issues:0

imcs_layoutengine

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

Language:HTMLStargazers:1Issues:4Issues:0

qrng-dev-qrandom

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

Language:CLicense:GPL-3.0Stargazers:1Issues:0Issues:0

sat-generator

Tools for generating SAT instances using OOP-based Python code

Language:PythonLicense:NOASSERTIONStargazers:1Issues:5Issues:0

data-shape-retrieval-services

Data shape retrieval services for large RDF endpoints

Language:PLpgSQLStargazers:0Issues:7Issues:0

belief_propagation

Belief Propagation-based SAT solver

Language:PythonLicense:MITStargazers:0Issues:0Issues:0

DiffusionExperiments

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

Language:PythonLicense:MITStargazers:0Issues:1Issues:0
Language:PythonStargazers:0Issues:4Issues:0
Language:PythonStargazers:0Issues:3Issues:0
Language:PythonStargazers:0Issues:5Issues:0

haproxy-for-windows

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

Language:BatchfileStargazers:0Issues:0Issues:0
Stargazers:0Issues:4Issues:0
Language:JavaScriptStargazers:0Issues:4Issues:0

oqs-haproxy

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

Language:ShellLicense:NOASSERTIONStargazers:0Issues:4Issues:0
Stargazers:0Issues:0Issues:0

sparklis

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.

Language:OCamlLicense:Apache-2.0Stargazers:0Issues:0Issues:0

tls-injection-client

HTTPS and WSS client with PQC support

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tls-injection-mechanism

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

Language:JavaLicense:MITStargazers:0Issues:1Issues:0

tls-injection-pqc

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

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0

tls-injection-qaas

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)

Stargazers:0Issues:0Issues:0

tls-injection-smartcard

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.

Language:JavaLicense:NOASSERTIONStargazers:0Issues:0Issues:0