-
Petruchio
- Referenced in 15 articles
[sw04394]
- A theory of structural stationarity in the π...
-
Isar
- Referenced in 144 articles
[sw04599]
- Theorem proving system supporting both interactive proof development...
-
SLMC
- Referenced in 74 articles
[sw04604]
- SLMC: A tool for model checking concurrent systems...
-
WSAT(OIP)
- Referenced in 25 articles
[sw04787]
- WSAT(OIP) is a domain-independent local search...
-
MahonianStat
- Referenced in 12 articles
[sw06180]
- The Mahonian probability distribution on words is asymptotically...
-
JBool
- Referenced in 115 articles
[sw06185]
- This software promotes some general and useful tools...
-
Maude
- Referenced in 698 articles
[sw06233]
- Maude is a high-performance reflective language and...
-
Gecode
- Referenced in 82 articles
[sw06272]
- Gecode is a toolkit for developing constraint-based...
-
GHC
- Referenced in 103 articles
[sw06691]
- Secrets of the Glasgow Haskell Compiler inliner. Higher...
-
Twelf
- Referenced in 173 articles
[sw06888]
- Twelf is a language used to specify, implement...
-
Cardinal
- Referenced in 10 articles
[sw06999]
- Cardinal: a finite sets constraint solver. In this...
-
Sledgehammer
- Referenced in 138 articles
[sw07047]
- Sledgehammer is a tool that harnesses external first...
-
Automath
- Referenced in 410 articles
[sw07127]
- Automath is a language designed by N.G. the...
-
FastICA
- Referenced in 210 articles
[sw07225]
- The FastICA package is a free (GPL) MATLAB...
-
OEIS
- Referenced in 4221 articles
[sw07248]
- The On-Line Encyclopedia of Integer Sequence. The...
-
Daisy
- Referenced in 36 articles
[sw08597]
- Daisy: Database for the Identification of Systems. We...
-
Pict
- Referenced in 72 articles
[sw08929]
- Pict is a language in the ML tradition...
-
Freshml
- Referenced in 50 articles
[sw08992]
- FreshML: programming with binders made simple. FreshML extends...
-
Boost
- Referenced in 200 articles
[sw09223]
- Boost provides free peer-reviewed portable C++ source...
