Our goal is to develop a full working solver for ATA (with 1 clock) in Python, with MTL to ATA support. The decidability for the emptiness problem was proposed by Lasota and Walukiewicz. The MTL to ATA was proposed by Ouaknine and Worrell.
Petaapan is exploring the opportunities that multi-touch displays present. Initially we are looking at tools to support agile development to provide a concrete target for the investigations.
Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.
Freshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
Web gallery based on pre-generated metadata, typically according to directory structure, not database or an administration. Development moved to: http://github.com/martinkozak/fsgal.
If you are a developer like me, you may find this program useful in finding code. You can add,edit,delete,search, and browse source code you might get from a book or posted on the web.
Spyse is a software framework for building multi-agent systems. It allows Python developers to build distributed intelligent systems of multiple cooperative agents based on FIPA, OWL, SOA and many others. Spyse is designed for ease-of-use and fun.
Game Conqueror HAS BEEN MOVED TO:
http://code.google.com/p/scanmem/
Game Conqueror is a graphical game cheating tool (memory modifier) under Linux, whose main target is to provide functions and user-feelings of CheatEngine. Game Conqueror is written in PyGTK and using scanmem as its backend.
Transform your applications and workflows into powerful agentic systems at global scale.
Gemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
mfGraph is a graph rendering library for interactive applications. Written in C++ and Python, mfGraph parses GraphViz DOT and XDOT files and provides rendering and hit-testing facilities. Supports Microsoft Windows natively, GNU/Linux through wxPython.
GUI SHell: Python graphical multipurpose shell. Avoid complex shell syntax in favour of a simple syntax with GUI helpers. Uses Python for scripting and extension.
This project aims at creating an IDE framework, which allows programmers to manage with keyboard only. This project extends the multi-pane environment concept (as followed by the traditional Unix Emacs and vi editors) to include graphical output.
Kabikaboo is a simple tree-branch note organizer. It is meant to be used to help aid in the writing of a novel. Users can plan out their story, plot, and characters. Created with Python, PyGTK, Geany, and Glade, on Ubuntu Linux.
MOCOP is a server based, rich-client, platform independent application development platform. It uses Python and comes with batteries included for developing multi-tanent server based applications.
ANOTHER GUI interface for Wix. Makes creating simple microsoft installers incredibly easy. Takes the work out of wix / What good is a candle without a flame?
A Menu Kit to provide a common pythonic interface to the menu systems of common gui's. Menus built with this kit will work unchanged with Tkinter, Qt4, Gtk an wxPython. An aid for developers and a tool to assist cross gui support.
dfShell is a graphical shell in the style of a data flow composition tool. The programs launched by the shell can have >1 inputs and outputs. Backwards compatible with command line programs that use stdin and stdout.
Written in Python, using GTK+ and Cairo, this project is comprised of a canvas capable of drawing East-Asian character glyphs registered at the GlyphWiki project (http://glyphwiki.org), and so-called drawfonts which draw them in a specific style.
Make AsciiDoc part of your literate programming tool set. With eWEB you can weave and tangle literate programs written as AsciiDoc documents, using embedded WEB code snippets.