Home of the Open Source Delphi&C++Builder OpenGL tool
Stats
Alexa Rank:
Popular in Country:
Country Alexa Rank:
language:
Response Time: 0.310955
SSL: Enable
Status: up
Code To Txt Ratio
Word Count 403
Links
ratio 64.607802013423
SSL Details
SSL Issuer:
Issuer: Cloudflare Inc ECC CA-3
Valid From: 2022-05-11 00:00:00
Expiration Date: 2023-05-10 23:59:59
SSL Organization:
Signature a2afaeb162bbc1dcf27cc32c728613b961ee10ef
Algorithm: ecdsa-with-SHA256
HOL Interactive Theorem Prover
Tutorial and Documentation How easy is it to learn? Starting from scratch, it takes on average about a month to become comfortable using HOL. Many people learn from the tutorials and guidebooks mentioned below, together with support from the community. Where to start? One should first learn to interact with...
CREA - SISTEMES INFORM�TICS. Soluciones Inform�ticas - Software Solutions - Solucions Inform�tiques
Sistemas de visi�n artificial mediante webcam que crean nuevas formas de interacci�n persona-ordenador que cubren necesidades en el �mbito de la educaci�n, educaci�n especial y discapacidad; as� como en otros potenciales campos: juegos y industria.
VS WAMP - VertrigoServ - PHP, Apache, MySQL server
Windows free WAMP server installer for an Apache ,PHP, MySQL development
Ares Galaxy – P2P File Sharing since 2002
Fast and Reliable Ares Galaxy automatically finds more sources and downloads files from many users at once. Increase the speed of your downloads, and enjoy one of the most easy-to-use BitTorrent clients. Search Files Ares Galaxy search engine helps you find exactly what you want, quickly! Just as you google...
OpenOrienteering | Open Source Orienteering Software
OpenOrienteering is a project developing a collection of tools which help with the creation of orienteering maps and the organization of orienteering events. News Mapper 0.9.5 released Posted on 12 March 2021 by Kai Pastor We are proud to announce the release of OpenOrienteering Mapper 0.9.5. This official release includes...
Guitarix - GNU/Linux Virtual Amplifier
guitarix is a virtual guitar amplifier for Linux running on Jack Audio Connection Kit. It is free as in speech and free as in beer. The available sourcecode allows to build it on other UNIX-like systems, too, namely for BSD and for MacOSX. guitarix takes the signal from your guitar...
Gambit: Software Tools for Game Theory
Gambit is an open-source collection of tools for doing computation in game theory. With Gambit, you can build, analyze, and explore game models. Use Gambit's graphical interface to get intuition about simple games, or the command-line tools and Python scripting API to support your world-class research and practical applications. Gambit...