Search Results for "software auth program" - Page 16

Pinnus is a project management tool for Extremme Programming. The program offers options to control stories, iterations and participates of a project. It is based on Eclipse Rich Client Platform and uses HSQLDB database .

A chatbot framework currently implementing the ErkiTalk and irc protocol. By specifying parsers for the server's input one can easily create custom bots (if one can program in java of course ;).

This utility is created with the aim of accelerating development of Linux PSF2 (framebuffer) fonts. It does not work with X fonts. The program can "explode" existing PSF2 fonts, creating an human-readable graphical representation of each glyph which can then be re-compiled into a PSF2 font. The project supports the use of unicode tables at the end of fonts, but currently (Dec, 2012) not fully (sequences are not supported), but this should be simple to amend.

...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...

Chor is a strongly-typed choreography programming language for distributed systems. In Chor, the behaviour of a system is written down as a global program (a choreography) where all the message exchanges between the participants are explicit. Choreographies are statically checked against protocol specifications, given as types, enabling type-directed global programming. Finally, Chor supports the automatic generation of systems from a choreography. With Chor, you do not have to worry about...