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: 3 months ago
Linked from 1 awesome list


Backlinks from these awesome lists:

Related projects:

Repository Description Stars
lnis-uofu/lsoracle A framework that optimizes digital logic using different optimization techniques and tools 100
lualanes/lanes A lightweight multithreading library for Lua 469
plotjuggler/plotjuggler-lsl A streaming plugin for PlotJuggler's Lab Streaming Layer using C++ 6
logic-ng/logicng A Java library for creating and manipulating Boolean formulas with efficient data structures and algorithms. 135
anskarl/lomrf An implementation of Markov Logic Networks in Scala for logical inference and machine learning. 81
ninjarobot/pengines.client A F# client library that provides a simple interface to interact with a sandboxed Prolog environment for querying and evaluating logic rules. 10
languagemachines/libfolia A C++ library for working with linguistic annotation formats 16
lmj/lparallel A Common Lisp library for parallel programming with fine-grained control over task submission and execution. 246
luc-tielen/eclair-lang A compiler-based implementation of a minimalist logic programming language 220
lpsantil/rt0 A minimal C runtime for Linux on i386 & x86_64 579
xilinx/logicnets Designs and deploys neural networks integrated with Xilinx FPGAs for high-throughput applications 83
quantumliu/matdl A lightweight MATLAB deeplearning toolbox for efficient neural network training and prediction. 54
camchenry/sock.lua A Lua networking library designed to simplify the process of creating networked applications in LÖVE games. 176
neopallium/lua-llthreads Provides low-level threading support for Lua applications. 145
kei500/liblinear-ruby Provides an interface to train and predict with machine learning models using LIBLINEAR 83