Jump to letter: [
ABCDEFGHIJKLMNOPQRSTUVWXYZ
]
unspecified
-
abc -
Sequential logic synthesis and formal verification
-
coin-or-lemon -
A C++ template library providing many common graph algorithms
-
cvc4 -
Automatic theorem prover for SMT problems
-
emacs-common-tuareg -
Emacs and XEmacs mode for editing ocaml
-
ocaml -
OCaml compiler and programming environment
-
qt5-qtbase -
Qt5 - QtBase components
-
qwt -
Qt Widgets for Technical Applications
-
swig -
Connects C/C++/Objective C to some high-level programming languages
