Pinned Repositories
Dat3M
A verification tool for many memory models
java-smt
JavaSMT - Unified Java API for SMT solvers.
Dat3M
A memory model aware verification tool suite.
java-smt
JavaSMT - Unified Java API for SMT solvers.
nutsh_recipes
OpenKE
An Open-Source Package for Knowledge Embedding (KE). This repository has moved to https://github.com/ifis-tu-bs/KnowledgeEmbedding.
virtuoso-opensource
Virtuoso is a high-performance and scalable Multi-Model RDBMS, Data Integration Middleware, Linked Data Deployment, and HTTP Application Server Platform
xeren
Config files for my GitHub profile.
xeren's Repositories
xeren/OpenKE
An Open-Source Package for Knowledge Embedding (KE). This repository has moved to https://github.com/ifis-tu-bs/KnowledgeEmbedding.
xeren/Dat3M
A memory model aware verification tool suite.
xeren/java-smt
JavaSMT - Unified Java API for SMT solvers.
xeren/nutsh_recipes
xeren/virtuoso-opensource
Virtuoso is a high-performance and scalable Multi-Model RDBMS, Data Integration Middleware, Linked Data Deployment, and HTTP Application Server Platform
xeren/xeren
Config files for my GitHub profile.