Combining the benefits of static and dynamic source code analysis to deliver the most advanced & exhaustive code verification tool.
TrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
Learn More
Peer to Peer Recognition Brings Teams Together
The modern employee engagement platform for the modern workforce
Create a positive and energetic workplace environment with Motivosity, an innovative employee recognition and engagement platform. With Motivosity, employees can give each other small monetary bonuses for doing great things, promoting trust, collaboration, and appreciation in the workplace. The software solution comes with features such as an open-currency open-reward system, insights and analytics, dynamic organization chart, award programs, milestones, and more.
A Unix desktop environment, using multi-processing as the principle method of program partitioning and built around the everything-is-a-file assumption, with scripting using the programming language Haskell.
Agentic AI SRE built for Engineering and DevOps teams.
No More Time Lost to Troubleshooting
NeuBird AI's agentic AI SRE delivers autonomous incident resolution, helping team cut MTTR up to 90% and reclaim engineering hours lost to troubleshooting.
A platform independent framework to remote control Lego Mindstorms NXT from Python.
Using PyBluez http://org.csail.mit.edu/pybluez/ for Bluetooth connectivity and wxPython http://www.wxpython.org/ for UI.
The main purpose of the Moonlight Engine is to be a general 2D game engine geared towards tile-based games, and RPGs specifically. Support for online games is also planned.
fgen is a free command line tool that facilitates cross platform c++ development, including header generation, cpp file generation, makefile generation, unit test framework generation, etc.
This project aims at writing a threaded, object-oriented and scriptable game engine targetting the .NET platform, using a mixture of c# or managed c++ ports of famous c/c++ components such as OGRE, CEGUI, Newton, Lua, Python, Audiere, OpenAL, etc...
The Restaurant Table Reservation System is a Django-powered web server framework that allows programmers (or me) to build websites for restaurant owners where customers can reserve tables (over the web) based upon owner-provided table availability data.
SfleX aims at developing a dynamic transaction processing architecture which is fully configurable at run-time. A Zope/Python based prototype is available.
A Java version is under development.
See http://sflex.ilab-tcs.com for details and download.
yuik is an abstract widget library for creating GUIs. The actual frontend can be chosen at runtime which allows the program to run under Tk, as a shell program, and even as a web-application. More frontends like an irc-bot, wxWidgets, or XUL are planned.
wxBrowser is an application browser based on the wxWidgets GUI framework. It's similar to a regular old web browser only, instead of reading HTML and displaying content it reads XML and executes presentation logic (wxPython) in a client side application.
NiL is a modular multi-purpose gaming engine including a multiplayer worm game a little like quake, except it's 2d and a little like worms except it's realtime.
A simple messaging system designed for rapid deployment on robotic platforms. Based on the venerable Inter-Process Communication Package, simpleIPC offers several key extensions: units, auto-discovery, message descriptors, and a Python wrapper. See Soto.
Pyhew is a web framework written in python aiming to ease the web development with python. Based on frameworks like smarty and php2go. Provides a Templating system, forms (with xml for html and validation), url routing and more.