cudd

CU Decision Diagram Package (CUDD, unofficial mirror)

BSD-3-CLAUSE License

Stars
15
View Code on GitHub View on X
Ecosystems: C

Issue Statistics

Past Year

All Time

Total Pull Requests
0
0
Merged Pull Requests
0
0
Total Issues
0
0
Time to Close Issues
N/A
N/A
Related Projects
byok

A bare-metal x86 Forth interpreter & compiler

04 Oct 2014 55
cdb

A Machine-Independent Debugger

23 Mar 2015 19
NyuziProcessor

GPGPU microprocessor architecture

29 Oct 2011 1,991
nauty

unofficial repository of nauty and traces, the graph automorphism tools. Check branches for other...

11 Jun 2017 12
mini-rv32ima

A tiny C header-only risc-v emulator.

27 Oct 2022 1,459
plink

Fork of git://git.tartarus.org/simon/putty.git intended for plink fixes

26 Oct 2015 15
zograscope

Mainly a syntax-aware diff that also provides a number of additional tools.

23 Nov 2017 50
libdank

Exceptionally dank C helper interfaces

01 Nov 2009 6
cxxbuild

cxxbuild is a python script to easily generate C/C++ build files for cmake and bazel.

07 Nov 2023 4
w64devkit

Portable C and C++ Development Kit for x64 (and x86) Windows

10 May 2020 2,340
minpsp

Minimalist PSPSDK

06 Aug 2015 24
mosaic-ck

15 Oct 2014 5
c3c

Compiler for the C3 language

31 Jul 2019 1,288
cc65

cc65 - a freeware C compiler for 6502 based systems

21 Mar 2013 2,285
cxx

Configuration-free utility for building, testing and packaging executables written in C++. Can au...

19 Dec 2017 121