Sven Thijssen's repositories
abc
ABC: System for Sequential Logic Synthesis and Formal Verification
abides
ABIDES: Agent-Based Interactive Discrete Event Simulation
arche
Arche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies, with primary focus on ReRAMs.
bolt
10x faster matrix and vector operations
clevr-dataset-gen
A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning
deepproblog
DeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
epfl_benchmarks
EPFL logic synthesis benchmarks
FinRL
FinRL: Financial Reinforcement Learning Framework. Please star. 🔥
lstools-showcase
Showcase examples for EPFL logic synthesis libraries
MAgent
A Platform for Many-agent Reinforcement Learning
Mask_RCNN
Mask R-CNN for object detection and instance segmentation on Keras and TensorFlow
MemNN
Memory Networks implementations
nnf2sdd
NNF compiler based on PySDD
ns-vqa
Neural-symbolic visual question answering
pqknn
Product Quantization k-Nearest Neighbors
problog
ProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.