user- personal pgming site
- list of tools
- The bibutils program set interconverts between various bibliography formats using a common XML intermediate.
- The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with othe...The OBJ languages are broad spectrum algebraic programming and specification languages, based on order sorted equational logic, possibly enriched with other logics (such as rewriting logic, hidden equational logic, or first order logic), and providing the powerful module system of parameterized programming...All the OBJ languages are rigorously based upon a logical system; more precisely, they are logical languages, in the sense that their programs are sets of sentences in some logical system, and their operational semantics is given by deduction in that logical system.
- Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better l...Splint is a tool for statically checking C programs for security vulnerabilities and coding mistakes. With minimal effort, Splint can be used as a better lint.
- CADiZ is a set of free software tools
- Rarewares is the place to find all the latest Mp3, AAC, Ogg Vorbis, Mpeg-4 and general media utilities compiles.
- FireBug is fairly simple - it adds a console to the bottom of every web page in Firefox. The console will display all Javascript errors that occurred for t...FireBug is fairly simple - it adds a console to the bottom of every web page in Firefox. The console will display all Javascript errors that occurred for the page you are looking at, and objects or text that have been logged from various places
