Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.
The Neurpheus Morphological Analyser performs morphological analysis, stemming or word form generation tasks using sophisticated classification methods for an analysis of words unseen in a training dictionary.
Streamline Azure Security with Palo Alto Networks VM-Series
Centrally manage physical and virtualized firewalls with Panorama
Improve your security posture and reduce incident response time. Use the VM-Series to natively analyze Azure traffic and dynamically drive policy updates based on workload changes.
Open extensible system analysis report tool for Java, based on numerous open source analysis initiatives. The XML/XSL batch-processing framework produces integrated HTML/SVG reports of the systems current state and the development over time.
This is a simple program that will factor a quadratic trinomial using both "guess-and-check" and the quadratic formula. You input a, b, and c, where ax^2+bx+c=0; you will get a result in the form of (ax+b)(cx+d)=0 and x=a or x=b.
This is a Java-based remote control application that uses Bluetooth to control a Lego NXT. It uses simple one-line text message to inform the NXT brick on the state of a joystick and its buttons.
With up to 25k MAUs and unlimited Okta connections, our Free Plan lets you focus on what you do best—building great apps.
You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
T3D2 - Terrain Track Thermal Data Displayer. Takes 3D GPS tracks and displays the flights over 3D Digital Elevation Data along with pixel data mapped over the terrain. Analyzes the flight for thermals. Checks if a pilot flew optimal.
The ActivityStudio is a tool for prototyping activity-based ubiquitous computing applications. Instead of focusing on an individual application or task, the tool gives designers a richer design context and allows them to focus on a high level activity.
Here is Archii (Automation and Remote Control for Home Intelligence and Interactivity). This french project proposes a set of Web Services dedicated to creation of a smarter house. It uses open-source products such as Petals ESB, FreeTTS...
This project is a prototype of 3D modelisation using a sick LMS 100 LIDAR. The driver was created in JAVA. This is developped under a GNU GPL Licence.
ESIEA Paris ATIS Lab team: NICOL Anne-Gaëlle / BOUJAADA Chafik /GERMAIN Josselin/ MALLIN Jeremy
Locky project is a project for research and development of the wireless location information systems. Mainly for tools of gathering WLDB (Wireless Location Database )
DawNLITE is a Natural-Language-based Image Transmoding Engine. The software transforms an image to a video as recorded by a virtual camera panning and zooming over the image, following a natural language text description of the image.
A demonstration of the result of using an agent based approach in software. Shows a swarm of icons representing agents that follow user selected rules.
JAMBLAST: Java Application Manager for the ncbi BLAST results. It is a graphic application that allow the user to display, filter, sort, import/export, store/manage BLAST results produced with the NOBLAST (https://sourceforge.net/projects/noblast).
This project is no longer hosted on sourceforge, please go to https://github.com/jodersky/sims instead.
A library for rigid body simulation written in Scala. This project was created under the terms of a one-year project at school (Gymnase de Burier). Another program for testing and visualizing SiMS, Graphyx, is included.
A cross platform Open Source implementation of Digi's "Digi Discovery" utility as well as a Java library providing the features of the ADDP (Advanced Digi Discovery Protocol) protocol. The protocol is documented at http://qbeukes.blogspot.com/search/label/advanced%20digi%20discovery%20protocol