R.I.S.E. is a state of the art engine and framework for the simulation and realistic image synthesis of natural phenomenon based on physics, biology and chemistry.
Guide on porting Contiki to new hardware platforms + extensive Contiki OS port for the Semtech LoRaMote platform (STM32L1). The STM32L1XX Standard Peripherals Library and LoRaMac project were used to implement the microcontroller's components, radio transceiver and sensors. Tested with Contiki 2.6 and Contiki 3. https://github.com/contiki-os/contiki https://github.com/Lora-net/LoRaMac-node http://www.st.com/content/st_com/en/products/embedded-software/mcus-embedded-software/stm32-embedded-software/stm32-standard-peripheral-libraries/stsw-stm32077.html
SketchyLISP is a highly portable, embeddable interpreter for purely applicative Scheme.
This is meant for manual face comparison for forensic use. Details of the face can be compared with as side-by-side screen and the findings can be given on a digital sheet. All kinds of operations are possible with the face.
PKS is an OpenPGP Public Key Server. It allows users to store and lookup public keys from the server's database. It can also synchronize with other servers. (This product includes software developed by Marc Horowitz.)
The DNA Sequence Read Toolkit is a set of programs to convert data from DNA sequencing instruments into formats suitable for archiving, viewing or for onward processing (for example alignment or assembly).
A high-level interface for low-level physics engines used in games, robotics simulations, and other 3D applications. Features a simple C++ API, intuitive objects (e.g. Solids, Joints, Motors, Sensors), and XML-based file storage for complex objects.
A TCL/TK frontend for the openCONFIGURATOR configuration tool
openCONFIGURATOR TCL/TK GUI is an open-source configuration tool for easy setup, configuration and maintenance of any POWERLINK network. It ideally complements openPOWERLINK, the open source POWERLINK protocol stack for master and slave. THIS APPLICATION IS NO LONGER SUPPORTED. PLEASE INSTALL THE ECLIPSE PLUGIN BASED OPENCONFIGURATOR.
Artificial Intelligence Research & Development Project
Prototype of the ResearchSpace Cultural Heritage Platform
This prototype for the ResearchSpace platform is built around the Nuxeo CMS and the OWLIM database. An open-source production version of the ResearchSpace platform is being built, and components available from, http://stash.researchspace.org/
The Octtools, a CAD system to promote research and education in microelectronics developed by Berkeley. Includes synthesis, placement and routing tools. Current development aims towards utilising current process technologies.
Arkham Development open source softwares
Arkham Development released some projects in open source. There are: - All Arkham PC demos written in Basic and x86 assembler (from 1991 to 1998). - One Arkham Amiga intro and an unfinished Amiga demo written in 68020 assembler. - A complete 3d engine written in x86 assembler. - Arkham demo PC tools (paint program, sound tracker, modeler, picture and 3d converters) written in Basic and x86 assembler.
Research project for Go-Programming
Java graph library
JAGAL provides implementations for directed graphs (weighted and unweighted) and varoius types of transition systems as well as utils for graph traversal and modification. JAGAL builds upon the Java library TOVAL (located at http://sourceforge.net/p/toval). To use JAGAL, make sure the TOVAL library is on the build path. This library uses and encloses jGraphX (https://github.com/jgraph/jgraphx). A documentation for JAGAL can be found under http://doku.telematik.uni-freiburg.de/jagal.
[Project Are NOT In Development Status]> The MXControl Greece is creates tools for WinMX p2p program to help greek users of WinMX a part of the MXControl Greece project is MXControl Simple Bot RoboMX and Metis. The MXControl Program Is In Greek Language.
MAtrix Sparse not much Computational Toolkit
The Open Scientific Workbench aims to provide a modular set of software to support and improve the research and development processes.
Paean is a tool to demonstrate in real-time the effect of various error-correcting codes on data transmitted via several channel models.
A fully working webserver for educational use. Great if you want to learn how a (Web)-Server works. Does run unter Linux, Windows (Cygwin) and should do so under any Posix UNIX.
Rescuecore is a java framework for developing Robocup Rescue agents. The framework provides functions for launching agents, connecting to the simulation kernel and sending/receiving commands from the kernel
Petri net framework for security related modeling and reasoning.
SEPIA provides implementations for various types of Petri nets. Along Place/Transition-nets, it supports Petri nets with distinguishable token colors and defines coloured workflow nets, where coloured tokens are interpreted as data elements used during process execution. To support information flow analysis of processes, SEPIA defines so-called IF-Nets, tailored for security-oriented workflow modeling which enable users to assign security-levels (HIGH, LOW) to transitions, data elements and persons/agents participating in the process execution. SEPIA builds upon TOVAL (http://sourceforge.net/p/toval), JAGAL (http://sourceforge.net/p/jagal) and SEWOL (https://sourceforge.net/projects/jawl/). To use SEPIA, make sure these libraries are on the build path. SEPIA encloses the Multi Schema Validator (https://msv.java.net/) and isorelax (http://iso-relax.sourceforge.net/) The documentation can be found under http://doku.telematik.uni-freiburg.de/sepia.
Security Workflow Analysis Tool
The Security Workflow Analysis Tool (SWAT) is a platform for modelling and analyzing workflows. It comes with ananlysis approaches to search for data leaks in workflows.
Tool for synthesizing business process logs.
SecSy is a tool for security-oriented log synthesis. Besides basic synthesis properties (cases per day, office hours, randomized activity duration, ...), its detailed parameter setting for simulating business processes also allows to specify data usage (objects + access modality), actors for process activities and access control constraints for task/object permissions. It is also capable of enforcing/violating specific security properties on process traces, such as SoD/BoD, Unauthorized Access, Corrupted log entries, Skipped Activities. SecSy builds upon the following libraries, that have to be included in the projects' build path: - JAGAL: http://sourceforge.net/p/jagal - JAWL: http://sourceforge.net/p/jawl - SEPIA: http://sourceforge.net/p/sepiaframework - SERAM: http://sourceforge.net/p/seram - TOVAL: http://sourceforge.net/p/toval
The program (package) Solver and Analyser usinf depthfIrst-search aLgORithms is for help researching mainly in discrete mathematical problems. Further plans targets other scientific areas and economical bussiness usage also.
Sound Orgy is a suite of command line tools for the purpose of sound production and modification as well other misc sound related functons. Sound Orgy consists of components which use command line piping to connect to each other much like patch cords.