mockturtle

Logic network library

A C++ library for analyzing and manipulating logic networks

C++ logic network library

GitHub
211 stars
19 watching
139 forks
Language: C++
last commit: about 1 month 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 97
lualanes/lanes A lightweight, native multithreading library for Lua 466
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. 80
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 15
lmj/lparallel A library that simplifies parallel programming in Common Lisp with features such as task submission, condition handling, and computation trees. 242
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 581
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