Search Results for "hol"

HOL Guard is an open-source security layer designed to protect AI agents and their local tool ecosystems at runtime. It evaluates supported actions for secret exposure, prompt injection, unsafe commands, malicious packages, and risky MCP interactions. Safe operations can proceed automatically, while known threats are blocked and ambiguous actions can require human approval.

HOL is a system for proving theorems in Higher Order Logic. It comes with a large variety of existing theories formalising various parts of mathematics and theoretical computer science.

Mutually-recursive non-nested non-freely generated dataytypes in Isabelle/HOL. Implemented as the animation of a meta-theory regarding the initial model of Horn clauses.

This application features tlh-en and en-tlh dictionary, and a very basic (yet) klingon words/sentences analyzer. It does also have pretty basic klingon speech synthesis built on Macintalk english phonemes. If you like it, please donate! Visit homepage if you want to make a donation (link below).

Graphical user interface and backend for a beatmania IIDX score tracker. It is to be the unofficial Japanese High-Score-Online (HOL) replacement. This will track Ex scores as well as tallies for accuracy. Will provide rival mode as well.

Hosting home-made software which is mathematically proven to be correct. We make use of tools like HOL, PVS, ...

The POP3 project is a collaboration to give a full API of POP3 functions in a PHP class. Currently the class supports retrieval of all headers in a single call, message retrieval and decoding into associative arrays, message deletion and short-time hol