Flat Assembler is a fast and efficient self-assembling 80x86 assembler. It supports x86 and x86-64 instruction sets with MMX, 3DNow!, SSE up to SSE4, AVX, AVX2, and XOP extensions. It can produce output in binary, MZ, PE, COFF, or ELF format. It includes powerful but easy-to-use macroinstruction support and does multiple passes to optimize the instruction codes for size. It is written entirely in assembly language.
FLENS is short for Flexible Library for Efficient Numerical Solutions. This C++ can be used as a builing block for the implementation of other (higher-level) numerical libraries or numerical applications. It is a C++ library (requires a C++11 conform compiler). Easy install, as FLENS is headers only. It gives you Matrix/vector types for dense linear algebra; a generic (i.e. templated) implementation of BLAS; and a generic reimplementation of LAPACK. If high performance BLAS libraries like ATLAS, GotoBLAS, etc. are available, you simply can link against them and boost performance.
Theano is a Python library that allows you to define, optimize, and evaluate mathematical expressions involving multi-dimensional arrays efficiently. Theano features tight integration with numpy, transparent use of a GPU, efficient symbolic differentiation, speed and stability optimizations, dynamic C code generation, and extensive unit-testing and self-verification. Theano has been powering large-scale computationally intensive scientific investigations since 2007. But it is also approachable enough to be used in the classroom (IFT6266 at the University of Montreal).
Buenos is a small SMP operating system skeleton that can be used as a base for operating systems project courses. The system is intended to be used as OS project base code which students can improve. Extensive documentation with suggestions for assignments or exercises is included with the system. It runs in a machine simulator called YAMS, which is its sister project.
MARF is a general cross-platform framework with a collection of algorithms for audio (voice, speech, and sound) and natural language text analysis and recognition, along with sample applications (identification, NLP, etc.) of its use. MARF can run distributed over the network (CORBA, Java RMI, and Java XML-RPC Web Services) and may act as a library in applications or be used as a source for learning and extension.
Isabelle is a popular generic theorem prover developed at Cambridge University and TU Munich. Existing logics like Isabelle/HOL provide a theorem proving environment ready to use for sizable applications. Isabelle may also serve as framework for rapid prototyping of deductive systems. It comes with a large library including Isabelle/HOL (classical higher-order logic), Isabelle/HOLCF (Scott's Logic for Computable Functions with HOL), Isabelle/FOL (classical and intuitionistic first-order logic), and Isabelle/ZF (Zermelo-Fraenkel set theory on top of FOL).
Languenet is a PHP application originally written for Language departments of Universities, allowing users to register for educational courses online and administrators to manage course data, add grades, print certificates, and more. The whole program is accessible by a simple browser. It is currently only available in German.
Torah Tools is a collection of utilities designed to assist Torah learning. Currently, Torah Tools consists of two programs: Daf test and Gemarah charts. Daf test helps you memorize on what page each Gemarah is to be found. It gives you a test to take after you learn a Perek or Masechta that requires you to choose the correct location for a displayed Amud of Gemarah. Gemarah charts helps you keep track of how many times you've Chazered over material by providing a chart with a list of all of the Perakim in the Mesechta, a list of the Dafim in each Perek, and just enough room in each box to mark off your Chazaros.