Search Results for "pentesting operating system"

x
Sort By:

Showing 8 open source projects for "pentesting operating system"

View related business solutions
Software Development Prolog Clear Filters & Widen Search
  • The Most Powerful Software Platform for EHSQ and ESG Management Icon
    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.
    Learn More
  • Skillfully - The future of skills based hiring Icon
    Skillfully - The future of skills based hiring

    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.
    Learn More
  • 1
    GNU Prolog

    GNU Prolog

    The GNU Prolog native compiler

    GNU Prolog is a free implementation (under GPL) of the logic programming language PROLOG. It can compile to native machine code which is extremely fast in execution. Another feature is the included constraint solver.
    Leader badge
    Downloads: 186 This Week
    Last Update:
    See Project
  • 2
    XSB
    Logic Programming and Deductive Database system (Tabled Prolog) for Unix, Mac, and Windows.
    Leader badge
    1 Review
    Downloads: 32 This Week
    Last Update:
    See Project
  • 3
    ECLiPSe CLP

    ECLiPSe CLP

    ECLiPSe Constraint Logic Programming System

    The ECLiPSe Constraint Logic Programming System is designed for solving combinatorial optimization problems, for the development of new constraint solver technology and their hybrids, and for the teaching of modelling, solving and search techniques.
    Leader badge
    1 Review
    Downloads: 4 This Week
    Last Update:
    See Project
  • 4
    Flora-2
    Flora-2 is a powerful knowledge representation and reasoning system designed for building knowledge-intensive applications. It is based on F-logic, HiLog, Transaction Logic, and also supports defeasible reasoning. Applications include intelligent agents, Semantic Web, ontology management, and more. If you use Flora-2 and like it, please acknowledge it in your project!
    2 Reviews
    Downloads: 0 This Week
    Last Update:
    See Project
  • The Receptionist for iPad | the Original Visitor Management System Icon
    The Receptionist for iPad | the Original Visitor Management System

    Easily keep track of visitors and say goodbye to time-wasting interruptions with The Receptionist for iPad

    The Receptionist for iPad is visitor management software that allows users to calm the chaos of the front office. Our digital check-in solution is customizable to your needs; from your company branding, to configurable buttons and drag-and-drop-design badge printing. Effectively manage and track everyone who comes to your workspace and store the information securely in the cloud: no more paper visitor log!
    Learn More
  • 5
    Galliwasp

    Galliwasp

    Goal-directed answer-set programming

    Galliwasp is an answer set programming (ASP) system utilizing a unique top-down, goal-directed execution method.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 6
    OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    Multiplatform (MUltiple Language / Target Integration PLATform FOR Modules) implements a unified integration platform for multiple modules written in multiple languages (C, C++, Prolog, Java) and multiple target platforms (GNU/Linux, Solaris, Windows).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    XPL is the eXtensible Programming Language. XPL is an application of XML for interchange of computer programs.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next

Related Searches

Related Categories

MongoDB Logo MongoDB