|
|
ProManTraS (Popularity: )
http://www.renardltd.co.uk/
Renard Ltd solutions for project management tracking, resource control, and costing.
Category:
Computers - Software - Project Management
|
|
Renard Advertising & Design (Popularity: )
http://www.renardadv.com/
Offering a full range of graphic communication services.
Category:
Business - Marketing and Advertising - Advertising - Agencies
|
|
Cocktail Bar and Pub at Windsor (Popularity: )
http://www.luckycoq.com.au/
Lucky Coq is a Melbourne icon, roof top bar, pub and nightclub located at chapel street, Windsor. Everyday it offers delicious gourment pizza, cheap dinner, cocktails and much more.
Category:
Entertainment - Restaurants
|
|
The Coq proof assistant (Popularity: )
http://coq.inria.fr/
Allows the user to handle calculus assertions, to check mechanically proofs of these assertions, helps to find formal proofs, extracts a certified program from the constructive proof of its formal specification.
Category:
Science - Math - Logic and Foundations - Computational Logic
|
|
|
|