Search Results for "linux operating system"

October 2025 ISOs have been released! 3 new ISOs - PLASMA, GNOME, XFCE have been released. Thank you to all the members in the ALG community for their support.

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.

MLton is a whole-program optimizing compiler for Standard ML. MLton generates small executables with excellent runtime performance, utilizing untagged and unboxed native integers, reals, and words, unboxed native arrays, fast arbitrary-precision arithmetic based on GnuMP, and multiple code generation and garbage collection strategies. In addition, MLton provides a feature rich Standard ML programming environment, with full support for SML97 as given in The Definition of Standard ML...

Lots of small projects: games, VST plugins, experimental IRC server, ROM hacking tools, net tools, font tools, html tools, etc. Browse CVS!

aphasia is an advanced scripting language for the web. It features a type-safe core, C++ modules with signatures, an optimizing "compiler", higher-order functions, built-in database support, garbage collection, and more.

The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed.

This project collects tools created by members of the Internet Hosting Cooperative to aid in management of a shared Internet server. Different tools target different audiences, including Internet/UNIX experts and newbies. They should be useful to any g

OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.

Structio produces tools and contents with sources of public domain useful for colombian schools and appropriate to be distributed in Internet (e.g sotware, writings, images, sounds and music).

DRINKS Toolkit is a collection of web-based widget, focused in the first release, to realize an online strumentation. It provides a practical and immediate interface to represent your data in the best possible way. Every widget is drawed using HTML5 Canvas API in a Javascript based environment. Drinks was born to allow users to easily realize custom dashboards without any programming knowledge, infact, you can use your instrument on a webpage simply using HTML tags, or using BarMan...

Belle is a generic higher order theorem prover in the style of Isabelle.

PsiLAB is an environment for scientific research, numerical calculations and generic data analysis. It's written in the functional language O'CaML.

The MyNOS project aims at developing a new and different operating system, based on high-level languages. MyNOS will be based on the OCaml bytecode interpreter. We'd like to explore microkernel architecture and new language definition too.

A collection of modeling tools for system comprehension. Includes 1) DEMOS2K - a semantically justified version of DEMOS 2) SAVANT - a tool for evaluating system availability 3) GOLDSTAR - an arbitrary reward calculation system.

Overactive Logistics is a freight forwarding software solution being developed for the cargo transportation industry. It runs in both web based or stand alone modes and provides a graphical user interface with rich client capabilities.

The Eagle automated theorem prover is a system for developing proofs for theorems in predicate logic.

An interpreter of lambda calculus. It shows reduction process of lambda terms. Several evaluation strategies are supported. Output format can be selected from LaTex, plain text.

Disposable Phone Numbers creates virtual telephone numbers that can be activated and deactivated to guard privacy. Callers must enter a valid extension number to be connected. The system can collect caller statistics and support blacklists.

SGML DTD for the creation of Bash scripts for iptables configuration

XML Universal Packet Archiver (PKT) is a platform independant universal file archiving system with pluggable options for encryption, encoding, compression, parity/RAID protection and more.

Podium is a set of PHP scripts and files for managing and displaying Web-based slide presentations. Inspired by, and partly based on, the 'pres' system used internally by the PHP group. Podium takes care of presentation so you can worry about content.

A typed XML processing language that integrates XML schema languages into the type system of the programming language. (XDuce is pronounced "transduce".)

From the XML definition of your database, DewDrop will generate clean and human-readable SQL DDL code for any supported target database. This means you can define your database just once in XML, and have it work for any database automatically.

Protocol Specification Tool is a system for executable specification, verification and rapid prototyping of cryptographic protocols.

It is the ambition of this project to create and support a process for civil society organisations to maintain effective websites that is as simple as possible, but no simpler.