Search Results for "android program source code" - Page 9

Mamba is a extensible xml templates preprocessor wrote in Python. Using it, you can rapidly develop powerful applications ready to integrate with the internet. It can be used to work as a generic CGI program or for generate content.

This program is a installer for KDE sourcefiles. It compiles the code for you so as you need it. It's for UNIX like operating systems. programmed with python.

PM2HTML takes PageMaker files and makes a cohesive newspaper website. It comprises a PMScript that exports all stories to a directory of tagged txts, and a python program to act as a converter to turn those tagged text files into HTML, a parser to guess

The aim is to develop a framework to translate UIML (User Interface Markup Language) description of UI into a number of plaforms (wxPython, HTML, etc.). Dynamic and "static" (into a program) rendering implied.

Packaging code for SnapPea, a program for creating and studying hyperbolic 3-manifolds. This is for packaging ONLY. SnapPea itself (and its successor SnapPy) can be found at: http://www.math.uic.edu/t3m/SnapPy/

Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction...

PySourceO is a revolutionary source code generator. All that is needed to make a program is to type in what program you want and PySourceO will give you a fully working program that fits your needs. We are creating a new algorithm for PySourceO.

iSDocMan is a source-code documentation manager which allows the programmer to documentate it's program within the source-code and then extract and organize the documentation information.

This program is a GUI to configure APRS Trackers based on Jeroen Vreeken (PE1RXQ) and Arno Verhoeven (PE1ICQ) aprstracker code. We are looking for developers!!

A Pythonic program to generate and solve a Sudoku puzzle of any N by N dimension. It uses a combination of logic and guess to solve the puzzle. The GUI is written with PyGTK and the code can be use as a guidelines of using Python Generators.

RapidGDB is a scriptable GUI for the GDB debugger. Almost every aspect of the program can be extended using Python code snippets.