• Scikit

  • Referenced in 496 articles [sw08058]
  • both academic and commercial settings. Source code, binaries, and documentation can be downloaded from...
  • McEliece

  • Referenced in 242 articles [sw02076]
  • fact that decoding unknown linear binary codes is an NP-complete problem. The interest...
  • BLAST

  • Referenced in 128 articles [sw02937]
  • Verification project. You may download source code or binary releases of BLAST for Linux...
  • clasp

  • Referenced in 100 articles [sw07095]
  • project hosted at SourceForge. Source code and pre-compiled binaries are available on the Potassco...
  • NAMD

  • Referenced in 79 articles [sw03198]
  • charge with source code. You can build NAMD yourself or download binaries for a wide...
  • ICOS

  • Referenced in 16 articles [sw04007]
  • AMPL parser, which enables calling ICOS binary code in a Unix-like command. The ICOS...
  • OpenModelica

  • Referenced in 27 articles [sw19753]
  • free software distributed in binary and source code form for research, teaching, and industrial usage...
  • BitBlaze

  • Referenced in 11 articles [sw10059]
  • BitBlaze: Binary Analysis for Computer Security: Binary analysis is imperative for protecting COTS (common ... malicious code, where source code is unavailable, and the binary may even be obfuscated. Also ... computers execute binaries (executables), not source code. However, binary analysis is challenging ... malicious code. The BitBlaze project also strives to open new application areas of binary analysis...
  • MicroEliece

  • Referenced in 9 articles [sw09835]
  • security assumption that decoding unknown linear binary codes is NP-complete. In this work...
  • CodingTheory

  • Referenced in 8 articles [sw01945]
  • using the Table of Constant Weight Binary Codes [online version, N. J. A. Sloane: Home...
  • Imbalanced-learn

  • Referenced in 8 articles [sw21535]
  • ease usage and contribution. Source code, binaries, and documentation can be downloaded from https://github.com...
  • CRYPTALL

  • Referenced in 6 articles [sw06981]
  • countries in Oceania. It uses the ASCII code as alphabet, so it was working with ... html” files. CRYPTALL uses the binary code alphabet -- thus it is universal: encrypting all types...
  • PhaseCut

  • Referenced in 13 articles [sw31785]
  • corresponding paper. M-files, source code and MEX binaries for Linux...
  • TANDEM

  • Referenced in 9 articles [sw31816]
  • data matching. AVAILABILITY: The source code and binaries for this software are available ... Windows, Linux and Macintosh OSX. The source code is made available under the Artistic License...
  • CirCut

  • Referenced in 42 articles [sw04782]
  • other binary quadratic programs, for example the MAX-BISECTION problem.par A computer code based...
  • CSIsat

  • Referenced in 15 articles [sw11407]
  • benchmarks from software verification. Binaries and the source code of CSIsat are publicly available...
  • maptools

  • Referenced in 21 articles [sw07986]
  • particular ESRI shapefiles; C code used from shapelib. It includes binary access to GSHHS shoreline...
  • pplacer

  • Referenced in 5 articles [sw26774]
  • freely available as source code, binaries, and a web service...
  • LUEP

  • Referenced in 4 articles [sw03099]
  • construct some of the best known binary codes in a simple way. Furthermore, a large...
  • XTL

  • Referenced in 4 articles [sw21954]
  • Transition Systems) encoded in the BCG (Binary Coded Graph) file format. XTL can typically...