Automata editor is a vector editor for drawing finite automata according to VauCanSon-G format with tools for working with finite automata such as basic algorithms, exporting transition table to LaTeX format and automata work simulation.
XiangQi Wizard (Chinese Chess Wizard) is a powerful XiangQi (chinese chess) program, which supports UCCI engines. XQWizard Light is the Mobile version for Windows CE and Java ME. ElephantEye is the UCCI engine in XQWizard with strong AI.
Real-time audio synthesis engine and music programming language
N.B. SuperCollider is now hosted at GitHub, and the most recent versions can be downloaded from there. http://supercollider.github.io A real time audio synthesis engine, and an object-oriented programming language specialised for music. SuperCollider was created in 1996 by James McCartney, now (since version 3) released as free software.
mySQM powered by Arduino Nano
A sky quality meter based on TLS237 and Arduino Nano. (c) Copyright Robert Brown 2014-2018. All Rights Reserved. YOU MAY NOT SELL CONTROLLERS OR PCB's BASED ON THIS PROJECT to anyone without express written permission granted from the author. Schematics, Code, Firmware, Ideas, Applications, Layout are protected by International Copyright Law. Permission is NOT granted to any person to redistribute, market, manufacture or sell the mySQM products, ideas, PCB's, circuits, builds, variations and units described or discussed herein or on this site. Permission is granted for personal and Academic use only. THIS MEANS THAT YOU CANNOT RE-DESIGN AND MAKE AVAILABLE KITS OR PCB BASED ON THIS PROJECT AND OFFER THOSE KITS FOR SALE TO OTHERS. THAT IS A BREACH OF COPYRIGHT. Code or portions of code may not be copied or used without appropriate credit given to author.
SHOP2 is a domain-independent automated-planning system based on ordered task decomposition, a type of Hierarchical Task Network (HTN) planning. Development is no longer done on sf; only file hosting now. WARNING: Java code here is not maintained....
Software libraries and tools designed for implementation and testing of the Common Image Generator Interface (CIGI), an interface for communication between an image generator and host device in simulations.
Formulator MathML Editor is a mathematical expressions editor of Presentation and Content MathML. Formulator makes it simple to develop software, keenly aware of the mathematical typesetting and semantics rules, and able to calculate simple formulas.
Open-source interpreted Verilog simulator with a feature set and performance similar to Verilog-XL. Implements all IEEE 1364-1995 features along with some Verilog-2001 features. Full support for Verilog PLIs.
convert genome coordinates betweeen assemblies
CrossMap is a program for convenient conversion of genome coordinates and genomeannotation files between assemblies (eg. lift from GRCh36/hg18 to GRCh37/hg19 or vice versa).It support file in BAM, SAM, BED, Wiggle, BigWig, GFF, GTF format.
Compare two NetCDF files in-place.
We've moved to Github! (github.com/rsmz/nccmp) Compares two NetCDF files in-place to find specific variables, dimensions and/or attributes that differ. Highly recommended for any test-driven environment and regression testing large datasets.
Open source DICOM and RIS/PACS informatics platform
Open source code base for enabling software innovation in imaging. The extensible and robust platform includes viewing, archiving, management, workflow and distribution of images as well as an open architecture for core competency tool development.
Convert site coordinates, sectors and MW links in Excel to KML format
This handy Excel VBA macro was designed for the telecom market, where you are able to convert points to KML, as well as sectors (as used in mobile network base stations) and links (as used for microwave links). Technical info presented in the resulting KML output file is not to be used for engineering / planning purposes. This was not the intention of this VBA tool. The only intention was to create a conversion tool with additional information presented in the KML file for display only purpose. Note that this VBA macro is not supported. If you want a copy of the source code, just email me (note that I do not check this mailbox often, so please be patient) Created by Stephen Froneman
A Matlab toolkit for analyzing EEG/ERP datasets, especially PCA. If you run into a problem, please send me a note and I'll fix it. The tutorial is in the documentation folder and the tutorial data is a separate download (tutorial data.zip).
Software for the competitions on computational intelligence in games.
Simple Event Correlator (SEC) is a lightweight event correlator for network management, log file monitoring, security management, fraud detection, and other tasks which involve event correlation.
A library and reference application for viewing and analysing raster and vector geospatial data.
Calc: arbitrary precision C-like arithmetic & calculator
Calc is arbitrary precision C-like arithmetic system that is a calculator, an algorithm prototyper and mathematical research tool. Calc comes with a rich set of builtin mathematical and programmatic functions.
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.
It's a program that plots Bode diagrams with an excellent precision. In this new version it's very easy to provide the function to plot thanks to a simply graphic interface in style "what you see is what you got". A smart output window allows to plot more than one graph at the same time, and easily compare them. The plotted graphs can be exported as images, in various format. Language supported: italian. Next version probably will include other languages; certainly english will be the first. This is a beta version, so please report any bug if you find something wrong! Your help will be very appreciated! NEWS! asymptotic diagram plotting function added! the function is in beta test, and does not support complex factor.
Android, UIQ 3.0, Series 60 Edition 5 open-source software
Android, Symbian UIQ 3.0 and Symbian Series 60 Edition 5 open-source software, tools, libraries and themes. Most notable the FX-602P / FX-603P Simulator and the HP-45 Emulator are hosted here.
To give users the full control over the running application. This means that an application is working according to its purpose but the control over the whole interface is taken from developer and given to users. While an application is running, users can move, resize, and tune all the screen objects through which the communication with an application is going. Set of files includes the book (both in DOC and PDF formats), a big demonstration project with all its files available (all the source files are in C#), and an additional description of many used classes. Book uses the examples from the demo project to explain everything in details. The examples are from many different areas. Examples from the first part of the book are aimed at the details of algorithm and its use with different objects; examples from the second part are mostly the real and very useful applications.
Open Source and data mining software
ADaMSoft is a free and Open Source Data Mining software developed in Java. It contains data management methods and it can create ready to use reports. It can read data from several sources and it can write the results in different formats.
Simulate iec104 server, Monitor information, command transmission
We can add up to 50 server node in the simulator. Every server node will work independently. Simulator window shows the status & connection IP Address, port number, redundancy enabled or not,If Redundancy enabled it shows, the redundant source ip address, port . The user can update the monitoring Point information, and quality bits. Send all type of commands, parameter activation, file transfer. Tested with all leading commercial test tools. Interoperability: http://freyrscada.com/docs/FreyrSCADA-IEC-60870-5-104-Server-Interoperability.pdf Download Evaluation Kit - IEC 60870-5-104 Development Bundle: New updated Version of IEC 60870-5-104 Simulator & SDK (Software Development Kit) is available now. In the Development Bundle, We included IEC 60870-5-104 Server & Client Simulator, Windows and Linux Software Development Kit. http://freyrscada.com/iec-60870-5-104.php
Simulate iec104 client/Master,supports all type ofASDU,monitor,command
We can add up to 50 Client node in the simulator. Every Client node will work independently. Simulator window shows the Connection status & connection IP Address, port number. The user can monitor all data Point information, and quality bits. Send all type of commands, parameter activation, file transfer. Interoperability: http://freyrscada.com/docs/FreyrSCADA-IEC-60870-5-104-Client-Interoperability.pdf Download Evaluation Kit - IEC 60870-5-104 Development Bundle: New updated Version of IEC 60870-5-104 Simulator & SDK (Software Development Kit) is available now. In the Development Bundle, We included IEC 60870-5-104 Server & Client Simulator, Windows and Linux Software Development Kit. http://freyrscada.com/iec-60870-5-104.php
A fixed point math header-library for C, under a liberal license.