Search Results for "linux-debian" - Page 94

This is a formal equivalence checking tool developed @ IIT Guwahati which can be used to verify functional equivalence between circuits (combinational and sequential) of the formats BLIF, verilog and EDIF.

CellMT is a threading library for the Cell/BE that enables the concurrent execution of multiple threads inside each SPE. This project has been developed at the Computer Sciences department of the Barcelona Supercomputing Center. http://www.bsc.es

A full featured, object-oriented, multi-platform C# wrapper for the curses terminal control library.

cingb is an ATTEMPT to write a Gameboy-emulator for all kinds of platforms. It plays Gameboy and Gameboy Color ROMs, includes a debugger for step-by-step analysis of Gameboy programs and might be also interesting for educational purposes.

Clam AntiVirus Client Library provides a simple API to the ClamAV daemon. ClamAVC does not require ClamAV to be installed. ClamAVC communicates with clamd using clamd's documented protocol using either TCP or a local Unix domain socket.

Judy is a general purpose dynamic array implemented as a C callable library. Judy's speed and memory usage are typically better than other data storage models and improves with very large data sets.

For a long time motif has been the de-facto standard widget set in the professional world. This had one major issue, and that being that the source of motif was not free. We, the Hungry Programmers implemented a replacement called lesstif under a free license to provide a way to use free programs written for the motif widgetset. In 2012, the motif source has been relicensed to LGPL, making the lesstif source redundant and obsolete, as its goal has been achieved, a free motif. As lesstif is...

Cheetah is a template engine and code generation tool, written in Python. Web development is its principle use, but Cheetah is very flexible and is also being used to generate C++ game code, Java, sql, form emails and even Python code.

The NUMIPAD library implements several methods/algorithms to solve inverse problems and adaptive decomposition (i.e. Tikhonov regularization, Total Variation, Basis Pursuit, etc.)

Lapetus, an high-level open source library that can be used in the development of programs and games for the Sega Saturn.

UDS (Universal Data Serializer) is a program and library that provides easy-to-use serialization for C, C++ and Python. It is an easy way to write a class to a file, that can be used without writing complex code.

Yabasic is a free, multi-platform implementation of a traditional command-line BASIC programming language interpreter. It is small, feature-rich, and easy-to-use, with numerous useful features and facilities for structured programming.

The gsuffix library implements serveral algorithms used for enumerative string searches. It incorporates the suffix tree and suffix array data structures as well as some other methods.

SuperWaba is a Virtual Machine for handhelds. Runs in PalmOS, Windows CE, Win32, and is fully emulated under JDK/browser. Supports Exceptions, has a complete set of UI controls (Palm/WinCE), double and long, grayscale/color, sockets/serial/IR/Bluetooth

Eleven is a programming language for creating robust, scalable web applications. It offers a 20x programmer productivity increase over ASP, JSP, etc. by automating state management and UI layout. The compiler generates ready-to-run PHP or mod_perl code.

An implementation of the Open Group's Application Response Measurement (ARM) Version 4 standard. The ARM standard describes a means of breaking an application down into it's constituent transactions, and measuring response time across multiple tiers.

The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.

ANT is a lightweight implementation in C of a kind of artificial neural net called Multilayer Perceptron, which uses the backpropagation algorithm as learning method. The package includes an introductory example to start using artificial neural nets.

Use a web browser as a GUI for an application.

ECB is a file/code browser for Emacs. It can be used to browse any type of file and supports parsing of Java, C, C++, Elisp and some other code like perl, TeX, LaTeX. All browsing windows are within one frame and they are deletion-protected (eg by C-x 1)

Intend C is a light-weight scripting language for linux. The language uses a syntax and library similar to that of ANSI C, but adds automatic memory management, pseudo-classes and runtime polymorphism on top of that. It is an evolution of Arena language.

...Also included is lws ('lil Web Server'), a lightweight, scriptable embedded web server using libpdel. 2025-07-06 - Note that hosting of this project has been moved to Github at https://github.com/markfrommn/libpdel. It has been inactive a long time but I hope to update to be able to build against current Linux and MacOS at least. TBD on Win32 and at this point I won't be adding WinCE support (of course...).

This project implements the multi-GPU version of MapReduce.

rjudge is a judge system for the Olympiad in Informatics. It can be also used as a problem test tool in the programming contest and daily practice. It provides many security features to ensure the smooth implement of judgement.

A little command-line tool and a little php module to change kerberos passwords, even on a Active Directory server, even already expired ones. It runs on Linux, no additional configuration (or access) to the kerberos server is needed.