Block or Report
Block or report codeck
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (10)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
3-phase motor controller with integrated position sensor
Software for designing GCODE for 3D printing
FPGA-based Field Oriented Control (FOC) for driving BLDC/PMSM motor. 基于FPGA的FOC控制器,用于驱动BLDC/PMSM电机。
A translator from SMTLIB2 to QDIMACS. Restricted to the bitvector theory and still incomplete.
🧊 A translator from quantified answer set programming to quantified boolean formula
Implementation of Cartesian Genetic Programming (CGP) for design of logic circuits in the form of Majority Inverter Graph (MIG)
KavrakiLab / cudd
Forked from ivmai/cuddCUDD: CU Decision Diagram package - unofficial git mirror of http:https://vlsi.colorado.edu/~fabio/
GPT based autonomous agent that does online comprehensive research on any given topic
A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.
MONA - a decision procedure for monadic second-order logic on finite strings and trees
CUDD: CU Decision Diagram package - unofficial git mirror of https://web.archive.org/web/20180127051756/http:https://vlsi.colorado.edu/~fabio/CUDD/html/index.html (intro: https://web.archive.org/web/2015…
Seto is a library for the decomposition of Transition Systems into subsets of Petri nets, in particular State Machines and Free-choice Petri nets.
A collection of awesome resources for process mining
A buildbot for wabt.js, a port of WABT to the Web, with TypeScript support.
Build FriendlyWrt using GitHub Actions
Lightweight, execline-style tools to build restricted Linux namespaces
A complete zram-config utility for swap, directories, and logs to reduce SD, NAND and eMMC block wear.