A tool for parametric model checking of UPPAAL models.
UPPAAL PARMOS (UP) is a parameter sweep application built specifically for UPPAAL, with the ability to distribute parameter sweeps across multiple computing resources, such as large clusters or cloud computing resources. UP also provides the ability to direct the parameter sweep using multi-objective heuristic search algorithms to reach optimal or near optimal parameters faster. UP is expandable through the use of plug-ins, with regards to both types of computing resources and search algorithms, and the ability to change storage type is partly implemented.
JFIPA is intended to be a scalable, easy-to-deploy router and parser of messages between agents using the FIPA Agent Communication Language represented as XML
ctypes is a Java library allowing one to create and manipulate C data types in Java. These can then be passed to C-functions loaded from dynamic link libraries. This is based on the ctypes python module.
Math.NET aims to provide a self contained clean framework for symbolic mathematical (Computer Algebra System) and numerical/scientific computations, including a parser and support for linear algebra, complex differential analysis, system solving and more
u3-autorun is a full-featured replacement to the cumbersome and proprietary U3 Launchpad included by default on all U3-enabled USB devices. It allows you to control what you execute off of your thumbdrive and allows for auto-eject.
English Examples Projects for HC6800EM3 MCU devkit
This project translates and rewrites C-code examples for the Prechin's MCU devkit, since original docs & examples were released in Chinese. Besides, some illegal stuff from original CD will be removed.
Open source drivers for the popular IM-ME wireless instant messenger console. GPL C drivers written by Scott Albertine. More implementations on their way.
General and simple IRC bot framework with very flexible bus architecture and plugins support, originally written for use as RPC gateway for remote message sending to multiple IRC channels or users. Now: http://github.com/martinkozak/pyircgate-daemon.
A program to monitor your own computers screen remotely.
Hello! This is a small program I have created for any parents that want to keep any eye on their children and see what they may be getting up to. This program is not designed to breech privacy at all, it is just something to be used temporarily for any concerns. Please do not mis-use this program. Features: -Capture a screenshot periodically -Have the screenshot remotely emailed through a gmail address -Have a local screenshot saved hidden on the computer -Be able to take a copy of the downloads or another folder periodically What you will need: -Administrators permission on the computer -A windows computer -A gmail address Read this document to find out how to setup, and how it words: https://docs.google.com/document/d/1b8xxEPiMJtiXknT7UyB6sHowlzDfeKA92oYj12Q0UZM/edit?usp=sharing The files the program creates are designed to look like they are important pc files to deter the user from deleting them.
Simple WebServer for .NET and Mono
Simple WebServer for .NET and Mono can serve static web sites with images of corse. Beta version can catch 404 and 418 ;-) errors with custom files for now , run with configurable json file look at "config.json". In true is planned use it as cordova local webserver but for Windows Devices Any Support will be welcome look at https://ydk2.tk/ Och you can use dll only to use try SimpleHTTPServer myServer = new SimpleHTTPServer (root + www, host, port);
The Ocaml Curl Library (Ocurl) is an interface library for the programming language Ocaml to the networking library libcurl. Currently Ocurl requires libcurl 7.9.8 or newer (using older versions may yield compilation errors).
Podracer is a podcast aggregator that gets the enclosures from a list of podcast feeds and stores them in a specified location. It supports BitTorrent, http and ftp downloads and runs best as a cron job to retrieve podcasts throughout the day.
Oracle client side tracing and monitoring utility
Provide working sample implementations of PXE (Preboot eXecution Environment) client and server software. Project has moved to: http://savannah.gnu.org/projects/pxe-toolkit/
Allows users to mount iPhones and iPod Touch devices as disks in Windows, allowing Explorer or any program to access the filesystem. Due to changes by Apple, now REQUIRES the itunesmobiledevice.dll from itunes 9.0 in its program directory.
C++ library for Apache Cassandra with Qt Framework
C++ wrapper library for the Apache Cassandra distributed database system using Qt as the basic framework. Offers C++ array like syntax to quickly read and write in the database. Well thought and fast object oriented library(i.e. caching.)
Easily extensible, cross-platform Direct Connect hub, written in Python
Sortmail is a program to process incoming email, classify it and process it accordingly. Sortmail can handle incoming email as it arrives or download from a POP server. Sortmail is easier to configure than procmail and can replace fetchmail.
ASP.NET 2.0 Unhandled Exception Module Installer to get meaningful results in the event log instead of the usual ".NET Runtime 2.0 Error Reporting clr20r3 w3wp.exe" entry. A Visual Studio 2008 Solution, x86 and x64 installers
Aftershock is an open source Gopher server, developed using Java 1.4. It features configurability, security, performance, and cross-platform support.
Ahoy is an efficient, decentralized service discovery protocol based on attenuated Bloom filters, designed for use in mobile ad-hoc networks (MANETs).
Locks backup files disallowing malware (cryptolockers) to alter them
This application is intended to make a better protection for the backup files. Modern cryptolockers can encrypt even remote files. AirGap is a Windows service that keeps specified files locked for writing, thus disallowing malware to alter them. 31/04/2017 - First idea. 7/05/2017 - 1.0 Release. Usage: On the backup storage machine install AirGap as a service from elevated command prompt: sc create "AirGap" binPath= "C:\Program Files\AirGap\AirGap.exe" In [HKEY_LOCAL_MACHINE\SYSTEM\CurrentControlSet\Services\AirGap\Parameters] key define folders where files you want to lock and include/exclude masks: "Folder0001"="D:\\Backup\\Daily" "Include0001"="*.vbk; *.vbi" "Exclude0001"="*.tmp; *.temp" And finally start AirGap service: sc start AirGap When you need to remove old (or update) backup files - stop AirGap service, remove files and start service again.
Ein geniales Programm das sehr viele hilfreiche Funktionen in der Programmiersprache Delphi sammelt wie Eingabeaufforderung, Taskmanager, Verbergungen ...
How to detect multimedia spam such as image spam? This project implemented some algorithms to detect and recognize the image spam based on Image Processing, Pattern Recognition incluing Edge-Detection,Region-Grow, ANN, SVM, LLE, ICA, PCA,etc.
Atma Web Framework is based on TwistedMatrix Network Framework and provides a high-quality environment for the development of rich and robust web applications.