|
No information avaiable
http://coq.inria.fr/
popularity:
logic
coq
programming
proof
math
software
mathematics
ocaml
tools
language
|
![]() |
Official site for Python, a dynamic object-oriented programming language that can be used for many kinds of software development on a variety of platforms. ...
similarity:
popularity:
python
programming
language
development
opensource
reference
software
code
scripting
tools
|
|
[SourceForge ... At present, it provides C and Fortran77 interfaces to a ... If you download the software, it is critically important that you check the ...
similarity:
popularity:
math
library
programming
software
linear-algebra
numerical
fortran
mathematics
linux
optimization
|
|
No information avaiable
similarity:
popularity:
programming
math
reference
floatingpoint
float
mathematics
development
guide
precision
arithmetic
|
![]() |
Interative Open Source Numerical Library of C/C++ functions for Engineering, ... http://www.codecogs.com /d-ox/stats/dists/d ... Latest Reference Comments. Sun Jan 11 ...
similarity:
popularity:
programming
c++
library
math
opensource
code
c
mathematics
software
science
|
|
No information avaiable
similarity:
popularity:
optimization
programming
software
modeling
ampl
mathematics
research
math
language
finance
|
|
A strongly-timed, concurrent, and on-the-fly audio programming language ... chuck community | forum | wiKi. coast to coast mirrors: @Princeton | @Stanford ...
similarity:
popularity:
programming
audio
music
software
language
sound
opensource
code
chuck
tools
|
|
Editor for text, HEX, HTML, and more.
similarity:
popularity:
software
editor
programming
tools
windows
ultraedit
text
development
utilities
texteditor
|
|
No information avaiable
similarity:
popularity:
c++
math
programming
mathematics
algebra
cas
software
library
symbolic
science
|
|
This year the topics focus on physical simulation, and the tutorial (now titled ... Lecturers in past years have included Lars M. Bishop, Jason Clark and ...
similarity:
popularity:
programming
math
physics
games
mathematics
tutorial
gamedev
reference
game
tutorials
|
|
We all know that the daily grind of programming for a living can get a little tedious at times. ... Peter: Well see, they wrote all this bank software, and, uh, ...
similarity:
popularity:
programming
puzzles
logic
puzzle
math
coding
competition
list
games
interview
|