-
PDabcT Public
Property-driven analysis and transformation making prominent use of ABC logic synthesis tool, rather than model checking
Python UpdatedOct 14, 2025 -
-
mockturtle Public
Forked from lsils/mockturtleC++ logic network library
C++ MIT License UpdatedSep 30, 2025 -
-
-
md2docx Public
Converts Markdown into docx. This allows text-based design of Word documents (which are often the required file type for grant proposals)
Rust UpdatedApr 23, 2025 -
-
veryl Public
Forked from veryl-lang/verylVeryl: A Modern Hardware Description Language
Rust Other UpdatedApr 12, 2025 -
-
-
-
tmxparser Public
Forked from sainteos/tmxparserC++11 library for parsing the maps generated by the Map Editor called Tiled. Currently looking for maintainers!
C Other UpdatedAug 7, 2024 -
-
yosys Public
Forked from YosysHQ/yosysYosys Open SYnthesis Suite
-
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedApr 16, 2024 -
mason-registry Public
Forked from mason-org/mason-registryCore registry for mason.nvim.
Apache License 2.0 UpdatedMar 25, 2024 -
BitSAD.jl Public
Forked from UW-PHARM/BitSAD.jlBitstream computing got you a bit sad? Just use BitSAD!
Julia MIT License UpdatedMar 24, 2024 -
academicpages.github.io Public
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedNov 9, 2023 -
-
-
-
-
-
-
program_options Public
Forked from boostorg/program_optionsBoost.org program_options module
C++ UpdatedAug 29, 2021 -
-
dimacs-parser Public
Forked from Robbepop/dimacs-parserUtilities to parse files in DIMACS format which is the de-facto standard for input to SAT solvers.
Rust MIT License UpdatedMay 10, 2021 -
sv-parser Public
Forked from dalance/sv-parserSystemVerilog parser library fully complient with IEEE 1800-2017
Rust Other UpdatedApr 30, 2021 -
-
audio_pipeline Public
Forked from ILLIXR/audio_pipelineILLIXR audio recording and playback pipelines
C++ Other UpdatedJan 23, 2021
{{ message }}