3-phase motor controller with integrated position sensor

Software for designing GCODE for 3D printing

An FPGA-based Field Oriented Control (FOC) for driving BLDC/PMSM motor. 基于FPGA的FOC控制器，用于驱动BLDC/PMSM电机。

The Yices SMT Solver

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)

C++ logic network library

AIGER And-Inverter-Graph Library

Fork of Spot: https://gitlab.lrde.epita.fr/spot/spot

Linear Temporal Logic to Timeline

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

LLM based autonomous agent that conducts local and web research on any topic and generates a comprehensive report with citations.

A C++ tool to generate hardware/software codes of BDD-based symbolic controllers.

SmalL bUt Complete GROne Synthesizer

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://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 WASI shim for in the browser

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.

Maintenance tools for overlay-filesystem

The execline scripting language