-
he libstdc++ parallel mode is an experimental parallel implementation of many algorithms the C++ Standard Library based on OpenMP.
-
STAMP is a new benchmark suite designed for Transactional Memory research. It currently consists of five benchmarks with plans for more.
-
GluonJ is a simple aspect-oriented programming (AOP) system for Java. It provides simple but powerful AOP constructs by using annotations in regular Java.
-
Abstract Stone Duality is a revolutionary theory that works directly with computable continuous functions, without using set theory, infinitary lattice theory or a prior theory of discrete computation.
-
in introduction for topology in computability theory.
-
They are writing a paper “Categories in Physics, Topology, Logic and Computation: a Rosetta Stone”, cool!
-
OpenRDF.org, a community site to support the development of Sesame. Sesame is an open source framework for storage, inferencing and querying of RDF data.
-
Specification: partial and total correctness.Hoare notation. Axioms and rules of Hoare logic. Discussion of soundness and completeness. Mechanised program verification: verification conditions. Program refinement. Semantic embedding in higher order logic.
-
ant is a typesetting system inspired by TeX. All major features of TeX are implemented.
-
Dandelion Wiki Engine
-
The Open Cognition Project aims to provide research scientists and software developers with a common platform to build and share artificial intelligence programs.