Home
107 items | 2 visits
-
phc - Project Hosting on Google Code
-
phc is an open source compiler for PHP with support for plugins. In addition, it can be used to pretty-print or obfuscate PHP code, as a framework for developing applications that process PHP scripts, or to convert PHP into XML and back, enabling processing of PHP scripts using XML tools.
-
About Gromacs - Gromacs
-
GROMACS is a versatile package to perform molecular dynamics, i.e. simulate the Newtonian equations of motion for systems with hundreds to millions of particles.
-
-
opencurrent - Project Hosting on Google Code
-
OpenCurrent is an open source C++ library for solving Partial Differential Equations (PDEs) over regular grids using the CUDA platform from NVIDIA.
-
-
syntevo: SVN client, CVS client, File/Directory compare
From the screenshots, SmartSVN looks like the best Subversion client out there. Commercial.
-
SmartCVS is a graphical CVS client (Concurrent Versions System).
The built-in SSH client and File Compare make it work out-of-the-box. SmartCVS runs on Windows, Mac OS X and Linux. -
SmartSVN is graphical client for the Open Source version control system Subversion (SVN).
It targets professionals who demand a reliable, efficient and well-supported SVN client for their daily business.
-
-
DWR - Easy Ajax for JAVA
-
DWR is a Java library that enables Java on the server and JavaScript in a browser to interact and call each other as simply as possible.
DWR is Easy Ajax for Java
-
DWR will generate the JavaScript to allow web browsers to securely call into Java code almost as if it was running locally. It can marshal virtually any data including collections, POJOs, XML and binary data like images and PDF files. All that is required is a security policy that defines what is allowed.
-
-
The iRRAM Home Page
-
The iRRAM is a C++ package
for error-free real arithmetic based on the concept of a Real-RAM.
Its capabilities range from ordinary arithmetic over
trigonometric functions to linear algebra even with sparse matrices.
A program for the iRRAM is coded in ordinary C++,
but may use a special class REAL,
that behaves like real numbers without any error.
A quite small set of operations is allowed to be used directly
with variables of this type: usual arithmetic operations, tests
and conversion to/from integer or other types.
The programmer may use (almost) all programming methods from C++,
like defining own data
types (like real matrices or complex numbers, which are already implemented
in this way)
and functions (even returning real values).
-
-
IvyWiki : Home Page
-
Ivy is a safe, concurrent
language, fully interoperable with C. The current 1.0 version provides
type, memory and concurrency (sound access to shared data) safety. -
To make using Ivy practical, we have kept our changes to C small: so far, they consist only of extra type annotations and small API changes. This makes it possible to compile Ivy programs with a traditional C compiler with the help of a small #include file
-
-
Sollya software tool
-
- a certified infinity (supremum) norm for computing safe approximation error bounds,
- an automatized implementer for approximation polynomials
in CRlibm-style C-code
with the
corresponding Gappa
proof, - a fast implementation of Remez algorithm for computing minimax polynomials,
- a full-featured programming language adapted to analysis of numerical programs like in a Computer-Algebra-System,
- a faithful-rounding, multi-precision evaluator of composed functional expressions extending MPFR,
- a highly accurate and fast floating-point infinity (supremum) norm,
- support for floating-point rounding operators and expansions in common precisions,
- a special floating-point minimax procedure,
- basic MathML input and output support,
- interfaces for extending Sollya with your own code and much more...
Sollya is a tool environment for safe floating-point code
development. It is particularily targeted to the automatized
implementation of mathematical floating-point libraries
(libm). Amongst other features, it
offers a certified
infinity (supremum) norm and a fast Remez algorithm.Sollya is developped
by Arénaire and
written
by Christoph
Lauter,
Sylvain
Chevillard,
M. Joldes and
N. Jourdan.Sollya provides you:
-
-
Metalibm - the automatic libm implementer
-
The Metalibm project provides a tool for the
automatic implementation of mathematical (libm)
functions. A function f is automatically
transformed
into Gappa-certifiedCcode
implementing an approximation polynomial in a given domain with given
accuracy.
-
-
LipForge:Project Info- PFF
-
PFF
(Preuves Formelles sur les Flottants = Formal Proofs about Floats) is a repository of a Coq library about floating-point arithmetic.
It contains both definitions and proofs of basic facts, old & new properties and algorithms.
-
-
LipForge:Project Info- Correctly Rounded Math Library
-
The purpose of this project is to offer a mathematical library (libm) with proven, IEEE-754 compliant, correct rounding in the four rounding modes, and performances comparable to standard libms.
-
-
SIMD-oriented Fast Mersenne Twister (SFMT)
-
SFMT is a Linear Feedbacked Shift Register (LFSR) generator
that generates a 128-bit pseudorandom integer at one step.
SFMT is designed with recent parallelism of modern CPUs,
such as multi-stage pipelining and SIMD (e.g. 128-bit integer)
instructions. It supports 32-bit and 64-bit integers, as well as
double precision floating point as output.
SFMT is much faster than MT, in most platforms. Not only the
speed, but also the dimensions of equidistributions at v-bit
precision are improved. In addition, recovery from 0-excess
initial state is much faster. -
dSFMT directly generates double precision floating point
pseudorandom numbers which have the IEEE Standard for Binary
Floating-Point Arithmetic (ANSI/IEEE Std 754-1985) format.
dSFMT is only available on the CPUs which use IEEE 754 format
double precision floating point numbers.
-
-
PROJ.4 - Trac
-
This web page relates to the PROJ.4 Cartographic Projections library originally written by Gerald Evenden then of the USGS.
-
-
JRebel | ZeroTurnaround.com
-
JRebel eliminates the need to redeploy 80% of the time.
-
maps your project workspace directly to a running application, watches the changes you make to classes and resources, then intelligently reflects them in your application. Coding becomes more natural and incremental - so you accomplish more, in less time. And it works with your current technology stack.
-
-
Blackbird - Open Source JavaScript Logging Utility
-
Blackbird offers a dead-simple way to log messages in JavaScript and an attractive console to view and filter them. You might never use
alert()again.
-
-
RIFE : Features
-
Integrated web continuations
Continuations are constructs that are inspired from Scheme. Basically, they contain all information about a specific program location and the local method variables. This enables the application to create an interruption in program execution and continue later at the exact same location as if nothing happened.
-
IoC support
- 6 more annotations...
-
-
helma.org
-
Helma is a server-side Javascript environment and web application framework for fast and efficient scripting and serving of your websites and
Internet applications.
-
-
Super Proxy - PHP Classes
-
Create object to access private members
-
When you want to perform a tests that verify whether a given class works as expected, you may need to call functions or access variables that are private or protected.
That circumstance raises a difficulty because you can only access private and protected members from inside the same class.
This class provides a workaround that consists in creating a clone of the original class which has all private and protected variables and functions made public.
-
-
Protothreads - Lightweight, Stackless Threads in C
-
Protothreads are extremely lightweight stackless
threads designed for severely memory constrained systems, such as
small embedded systems or wireless sensor network nodes. Protothreads
provide linear code execution for event-driven systems implemented in
C. Protothreads can be used with or without an underlying operating
system to provide blocking event-handlers. Protothreads provide
sequential flow of control without complex state machines or full
multi-threading. -
Very small RAM overhead - only two bytes per protothread and no
extra stacks - 3 more annotations...
-
List Comments
(0)
List Info
Sponsored Links
Ads by Google