• C-XSC

  • Referenced in 110 articles [sw00181]
  • C-XSC. A programming environment for verified scientific computing and numerical data processing ... classes. Thus, C-XSC allows high-level programming of numerical applications...
  • JOBSHOP

  • Referenced in 91 articles [sw04807]
  • JOBSHOP is a set of C programs for the job-shop scheduling problem. The codes...
  • QPL

  • Referenced in 80 articles [sw39237]
  • syntax resambles syntax of the C programming language and classical data types are similar...
  • CBMC

  • Referenced in 86 articles [sw09719]
  • Model Checker for ANSI-C and C++ programs. It also supports SystemC using Scoot ... tions. Furthermore, it can check ANSI-C and C++ for consistency with other languages, such ... performed by unwinding the loops in the program and passing the re­sul­ting equation...
  • BENSOLVE

  • Referenced in 82 articles [sw12273]
  • from version 2) is written in C programming language. BENSOLVE provides the following features: arbitrary...
  • Voronoi

  • Referenced in 85 articles [sw21795]
  • Very old, but fast and lightweight C program to compute 2d Voronoi diagrams and Delaunay...
  • FreeFem++

  • Referenced in 1369 articles [sw01436]
  • several meshes and their manipulation within one program. FreeFem++ includes a fast 2^d-tree ... bamg). FreeFem++ is written in C++ and the FreeFem++ language is a C++ idiom...
  • CSDP

  • Referenced in 202 articles [sw00169]
  • CSDP, A C Library for Semidefinite Programming. This is the project page for the CSDP ... predictor corrector variant of the semidefinite programming algorithm of Helmberg, Rendl, Vanderbei, and Wolkowicz ... callable subroutine, it is written in C for efficiency, the code runs in parallel...
  • Hull

  • Referenced in 76 articles [sw11670]
  • Hull is an ANSI C program that computes the convex hull of a point...
  • DART

  • Referenced in 74 articles [sw07260]
  • testing, DART detects standard errors such as program crashes, assertion violations, and non-termination. Preliminary ... unit test several examples of C programs are very encouraging...
  • hlib

  • Referenced in 75 articles [sw04080]
  • Most routines are written in the C programming language using BLAS and LAPACK for lower...
  • LPbook

  • Referenced in 51 articles [sw31782]
  • convex analysis, network flows, integer programming, quadratic programming, and convex optimization. The book is carefully ... book is coordinated with free efficient C programs that implement the major algorithms studied ... programming and for network flows. These C programs and JAVA tools can be found...
  • BlackHat

  • Referenced in 73 articles [sw10450]
  • first results from BlackHat, an automated C++ program for calculating one-loop amplitudes. The program...
  • PALP

  • Referenced in 70 articles [sw00672]
  • describe our package PALP of C programs for calculations with lattice polytopes and applications...
  • GALib

  • Referenced in 68 articles [sw04086]
  • algorithms to do optimization in any C++ program using any representation and genetic operators...
  • Esterel

  • Referenced in 166 articles [sw20012]
  • hardware implementation of a reactive program. It can generate C-code to be embedded...
  • CIL

  • Referenced in 36 articles [sw26691]
  • tools for analysis and transformation of C programs. This paper describes the C Intermediate Language ... source-to-source transformation of C programs. Compared to C, CIL has fewer constructs ... easy to analyze and manipulate C programs, and emit them in a form that resembles ... translates to CIL not only ANSI C programs but also those using Microsoft...
  • Stan

  • Referenced in 297 articles [sw10200]
  • Stan: A C++ Library for Probability and Sampling. Stan is a probabilistic programming language implementing ... with Optimization (BFGS). Stan is coded in C++ and runs on all major platforms...
  • Caduceus

  • Referenced in 63 articles [sw04625]
  • verification tool for C programs built on top of the Why tool, in the ProVal ... obsolete and fully subsumed by Frama-C...
  • Visual C++

  • Referenced in 87 articles [sw03519]
  • Microsoft for the C, C++, and C++/CLI programming languages. It features tools for developing...