Search Results for "programmer"

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.

...There also also doesn't exist a library for common functionality, such as error reporting/logging, string functions, configuration management (reading config files), etc... The programmer working in C doesn't have anything analogous to the Boost C++ library. The extended C library is intended to make some headway into providing this functionality. To ensure unrestricted usage the libxc project is provided under the very permissive BSD license. If you need a different license then please send me a request (lelanthran at gmail) and I'll do my best to satisfy your request. ...

Fl3x Trainer is a memory patcher that is customizable by the user. Therefore, it behaves just as any trainer program that has ever been written on Windows. The difference here is that it's not needed to write a new trainer for every version of every game/program. Instead it uses configuration files. These can easily be made with any text editor and shared over the internet.

ft89prog is a at89s* & atmega* usb flash programmer using ftdi's synchronous bitbanging. The initial version is based on Jelmer Vernooij's serial programmer "at89prog".