Rezku is an all-inclusive ordering platform and management solution for all types of restaurant and bar concepts. You can now get a fully custom branded downloadable smartphone ordering app for your restaurant exclusively from Rezku.
Learn More
The Most Powerful Software Platform for EHSQ and ESG Management
Addresses the needs of small businesses and large global organizations with thousands of users in multiple locations.
Choose from a complete set of software solutions across EHSQ that address all aspects of top performing Environmental, Health and Safety, and Quality management programs.
A native Windows port of the GNU Compiler Collection (GCC)
MinGW: A native Windows port of the GNU Compiler Collection (GCC), with freely distributable import libraries and header files for building native Windows applications; includes extensions to the MSVC runtime to support C99 functionality. All of MinGW's software will execute on the 64bit Windows platforms.
ABTools provides an open environment based on ANTLR and Java and provides some facilities for design and test the B language and somes extensions. ABTools est un environnement de développement base sur ANTLR et Java. Il permet de manipuler le langag
jWords is a port of WORDS (by William Whitaker, a free latin-to-english dictionary program written in Ada), to Java. Besides the dictionary will be translated to the German language.
Realistic Workplace Simulations that Show Applicant Skills in Action
Skillfully transforms hiring through AI-powered skill simulations that show you how candidates actually perform before you hire them. Our platform helps companies cut through AI-generated resumes and rehearsed interviews by validating real capabilities in action. Through dynamic job specific simulations and skill-based assessments, companies like Bloomberg and McKinsey have cut screening time by 50% while dramatically improving hire quality.
The VSR is a repository of tools and challenges in verification (see for example epubs.cclrc.ac.uk/work-details?w=33971). It is part of the international grand challenge on software verification (eg http://vstte.ethz.ch/pdfs/vstte-hoare-misra.pdf)
A new Eclipse Plugin for ADA developpement. For the moment the plugin works with :
- Syntax coloration
- Compilation (Not debug mode)
- Autocompletion
- Package manager (some imporovement have to be done)