RSS 19 projects tagged "education"

No download Website Updated 21 Mar 2006 Isabelle

Screenshot
Pop 69.36
Vit 3.17

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).

Download Website Updated 26 May 2008 QBrew

Screenshot
Pop 260.94
Vit 5.65

QBrew is a homebrewer's recipe calculator. You can create and modify ale and lager recipes as well as calculate gravity, color, and bitterness. QBrew includes a database of styles, grains, hops, and miscellaneous ingredients, plus a brewing tutorial.

Download Website Updated 18 Apr 2012 Flat Assembler

Screenshot
Pop 187.66
Vit 13.16

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.

Download Website Updated 06 Mar 2004 Languenet

Screenshot
Pop 23.87
Vit 2.77

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.

No download Website Updated 14 May 2003 Kolmogorov

Screenshot
Pop 43.37
Vit 1.42

The Kolmogorov project provides tools for machine perception and tutorials for machine learning, machine perception, and statistics. It supports fast face detection in images and information on Hidden Markov models, Gabor filters, Multivariate Logistic Regression, and Stochastic Differential Equations. It includes MPISearch, a library for detecting objects in images very quickly (real-time in some cases).

Download Website Updated 01 Oct 2012 FLENS

Screenshot
Pop 130.66
Vit 9.72

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.

Download Website Updated 22 Aug 2004 Runge-Kutta check

Screenshot
Pop 12.81
Vit 1.42

RKcheck is a small application that analytically checks the order of Runge-Kutta and Runge-Kutta-Fehlberg Ordinary Differential Equation (ODE) integrators.

Download Website Updated 08 Jan 2007 Modular Audio Recognition Framework

Screenshot
Pop 90.69
Vit 3.40

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.

Download Website Updated 03 Feb 2012 Buenos

Screenshot
Pop 18.41
Vit 3.35

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.

Download Website Updated 28 Feb 2007 tbclock

Screenshot
Pop 42.19
Vit 1.74

tbclock is a small application that displays a full screen binary clock in your terminal (using curses). It is quite simple, and features modules like "guessbin" (a little game) and "chrono" (a timer with tenths of seconds).

Screenshot

Project Spotlight

Kubuntu

An Ubuntu-based Linux distribution that uses KDE.

Screenshot

Project Spotlight

TurnKey Movable Type Appliance

A Movable Type appliance that is easy to use and lightweight.