筆記與流年

The Java Algebra System (JAS) is an object oriented, type safe and multi-threaded approach to computer algebra. JAS provides a well designed software library using generic types for algebraic computations implemented in the Java programming language.

what is new for rails 2.1

QUnit is the unit testrunner for the jQuery project. It got promoted to a top-level project in May 2008 to make it easier to use in other projects, with focus on jQuery UI.

the old thesis by Chaitin on Algorithmic Information Theory

SQLAlchemy is the Python SQL toolkit and Object Relational Mapper that gives application developers the full power and flexibility of SQL. It provides a full suite of well known enterprise-level persistence patterns, designed for efficient and high-perfor

on java clousure

Functional programming for Java under support of clousure.

The FLINT group at Yale intends to build a practical infrastructure for constructing large-scale certified systems software, focusing on the development of new program verification techniques and integrated programming and proof tools.

We present a library that adds curried higher order functions and tuple types to Generic Java.

Commons Functor: Function Objects for Java. A functor is a function that can be manipulated as an object, or an object representing a single, generic function.

The Orbital library is a Java class library providing object-oriented representations and algorithms for logic, mathematics, and artificial intelligence. It comprises theorem proving, computer algebra, search and planning, as well as machine learning algo

Patterns of Enterprise Application Architecture