sventhijssen
Follow
Highlights
- Pro
-
-
-
-
-
-
-
compact Public
COMPACT is a state-of-the-art synthesis method for flow-based digital stateful in-memory computing based on finding the largest induced bipartite subgraph in a Binary Decision Diagram.
-
-
-
flow-3d Public
FLOW-3D is a state-of-the-art synthesis method for flow-based digital stateful in-memory computing targeting three-dimensional nanoscale crossbar arrays.
-
check Public
CHECK is an equivalence checking technique based on graph extraction to verify functional correctness of a flow-based digital in-memory computing circuit.
-
problog Public
Forked from ML-KULeuven/problogProbLog is a Probabilistic Logic Programming Language for logic programs with probabilities.
Python UpdatedJul 27, 2022 -
deepproblog Public
Forked from ML-KULeuven/deepproblogDeepProbLog is an extension of ProbLog that integrates Probabilistic Logic Programming with deep learning by introducing the neural predicate.
Python Apache License 2.0 UpdatedJun 20, 2022 -
path Public
PATH is a state-of-the-art synthesis method for path-based digital stateless in-memory computing based on Binary Decision Diagrams.
-
bolt Public
Forked from dblalock/bolt10x faster matrix and vector operations
C++ Mozilla Public License 2.0 UpdatedApr 30, 2022 -
Mask_RCNN Public
Forked from matterport/Mask_RCNNMask R-CNN for object detection and instance segmentation on Keras and TensorFlow
Python Other UpdatedApr 27, 2022 -
clevr-dataset-gen Public
Forked from facebookresearch/clevr-dataset-genA Diagnostic Dataset for Compositional Language and Elementary Visual Reasoning
Python Other UpdatedApr 24, 2022 -
ns-vqa Public
Forked from kexinyi/ns-vqaNeural-symbolic visual question answering
Python UpdatedApr 9, 2022 -
MAgent Public
Forked from geek-ai/MAgentA Platform for Many-agent Reinforcement Learning
Python MIT License UpdatedApr 4, 2022 -
nnf2sdd Public
Forked from art-ai/nnf2sddNNF compiler based on PySDD
Python Apache License 2.0 UpdatedMar 14, 2022 -
FinRL Public
Forked from AI4Finance-Foundation/FinRLFinRL: Financial Reinforcement Learning Framework. Please star. 🔥
Jupyter Notebook MIT License UpdatedFeb 26, 2022 -
abides Public
Forked from abides-sim/abidesABIDES: Agent-Based Interactive Discrete Event Simulation
Python Other UpdatedNov 7, 2021 -
-
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedOct 16, 2021 -
lstools-showcase Public
Forked from lsils/lstools-showcaseShowcase examples for EPFL logic synthesis libraries
CSS MIT License UpdatedAug 3, 2021 -
epfl_benchmarks Public
Forked from lsils/benchmarksEPFL logic synthesis benchmarks
Verilog MIT License UpdatedJul 12, 2021 -
pqknn Public
Forked from jvdd/pqknnProduct Quantization k-Nearest Neighbors
Jupyter Notebook MIT License UpdatedJun 24, 2021 -
arche Public
Forked from debjyoti0891/archeArche is a Greek word with primary senses "beginning". The repository defines a framework for technology mapping of emerging technologies, with primary focus on ReRAMs.
Verilog UpdatedJun 21, 2021 -
MemNN Public
Forked from facebookarchive/MemNNMemory Networks implementations
Lua Other UpdatedJul 28, 2020 -