Search Results for "templates"

The programming language ATS unifies implementation with formal specification by accommodating a programmer-centric approach to program verification: How do we know a program being implemented correctly? We ask the programmer to demonstrate it with a proof.

It is a tool to help programmers to check your databases and generate code so easily. Lists the tables and views of databases, MySQL, Oracle and Sybase. Load Data from Excel 97-2003 files, exports the data from the table to Excel 97-2003 file. Generate Stored Procedures from table to insert, update, delete, query and paging. Generates code JSF2.0 (Action) and PrimeFaces (xhtml) from the table, code for Struts 1.3, etc.

ASDRAD is a source code generator which reads a configuration file and generates *.c, *.h, makefiles etc. It's written in Python and uses templates. Output files are for AmigaOS and derivates like AROS and MorphOS.

PN Templates is ancilliary to the PostNuke Content Management Development. It's aim is to select and promote an efficient, designer friendly templating system for PostNuke'd sites.

Grab this to try your hand at developing a tool for Allura. Currently supports: - python package setup - simple per-project-installable Tool - simple Ming/MongoDB model - simple TurboGears Controllers - simple Jinja templates