mockturtle

Logic network library

A C++ library for analyzing and manipulating logic networks

C++ logic network library

GitHub

214 stars
19 watching
140 forks
Language: C++
last commit: almost 2 years ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

RepositoryDescriptionStars
lnis-uofu/lsoracleA framework that optimizes digital logic using different optimization techniques and tools100
lualanes/lanesA lightweight multithreading library for Lua469
plotjuggler/plotjuggler-lslA streaming plugin for PlotJuggler's Lab Streaming Layer using C++6
logic-ng/logicngA Java library for creating and manipulating Boolean formulas with efficient data structures and algorithms.135
anskarl/lomrfAn implementation of Markov Logic Networks in Scala for logical inference and machine learning.81
ninjarobot/pengines.clientA F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules.10
languagemachines/libfoliaA C++ library for working with linguistic annotation formats16
lmj/lparallelA Common Lisp library for parallel programming with fine-grained control over task submission and execution.246
luc-tielen/eclair-langA compiler-based implementation of a minimalist logic programming language220
lpsantil/rt0A minimal C runtime for Linux on i386 & x86_64579
xilinx/logicnetsDesigns and deploys neural networks integrated with Xilinx FPGAs for high-throughput applications83
quantumliu/matdlA lightweight MATLAB deeplearning toolbox for efficient neural network training and prediction.54
camchenry/sock.luaA Lua networking library designed to simplify the process of creating networked applications in LÖVE games.176
neopallium/lua-llthreadsProvides low-level threading support for Lua applications.145
kei500/liblinear-rubyProvides an interface to train and predict with machine learning models using LIBLINEAR83