Search Results for "software auth program"

Agent Auth Protocol is a specification-oriented project within the Better Auth ecosystem that defines a structured protocol for authentication between applications and autonomous agents. It is designed to standardize how AI agents and services securely authenticate, communicate, and manage identity within modern software systems. Built alongside the broader Better Auth framework, it integrates with a comprehensive authentication system that supports features like OAuth, multi-factor authentication, and session management. ...

...Unlike many document-chat tools that require manual installation of model servers, chatd packages the model runner with the application so that users can start interacting with documents immediately after launching the program.

Jason is a fully-fledged interpreter for an extended version of AgentSpeak, a BDI agent-oriented logic programming language, and is implemented in Java. Using JADE a multi-agent system can be distributed over a network effortlessly. This project was moved to https://jason-lang.github.io

...The project uses a webcam to continuously capture images and analyze them using a face classification model trained to distinguish between the designated “boss” and other individuals. When the system detects that the trained face appears in the camera view, the program automatically triggers actions such as hiding the user’s screen or switching to a safe display. The software relies on libraries such as OpenCV, TensorFlow, and Python-based machine learning tools to perform face detection and classification. Training the system requires a dataset of labeled images representing the boss and other people so that the model can learn to differentiate between them.

jChecs is an open source Java chess program, designed to introduce the basics of computer chess programming concepts.

Hunspell is a spell checker and morphological analyzer library and program designed for languages with rich morphology and complex compounding or character encoding. Hunspell interfaces: Curses, Ispell compatible pipe interface, OpenOffice.org UNO module

This software uses a genetic algorithm to "evolve" reactor designs for Schema's space-simulation game, Star-Made (http://star-made.org/). One of the more unique aspects of the game is that ship power management is not as simple as filling a cube with power generation blocks. This mechanism leads to difficulties in getting maximal power generation out of such reactors.

pyIRDG is a program written in Python to generate relational datasets in Prolog format. It uses data from the Internet Movie Database in combination with IMDbPY as backend. A graphical user interface written in pyQt allows the user to link multiple entities together as model for the generation process. The big four entities are Title, Person, Company and Character. Many attributes can be chosen for adding to the output .pl file. Three types of constraints on attributes are available to limit...

A paint program where the canvas is the visual cortex of a simple kind of artificial intelligence. You paint with the mouse into its dreams and it responds by changing what you painted gradually. There will also be an API for using it with other programs as a general high-dimensional space. Each pixel's brightness is its own dimension. Bayesian nodes have exactly 3 childs because that is all thats needed to do NAND in a fuzzy way as Bayes' Rule which is NAND at certain extremes. NAND can be...

GeneThello (read jə-ˈne-ˈthe-lō), is an acronym for genetic othello, an othello (reversi) playing program which based on Genetic Algorithm (GA). In principle GeneThello consist of an othello program and a genetic algorithm system.

Program to performing the complete cycle of neural networks analysis: preparing data, choosing neural network (CasCor, MP, LogRegression, PNN), learning of network, monitoring learning state, ROC-analysis, optimization of network parameters using GA.

Earnest is a A PHP-MYSQL AI EXPERT SYSTEM for creating powerful expert system easily. Its simple PHP API can also be called from JAVA, browsers or other software to perform GIS and other comparisons. Also has ability to create XML results.

This program generates customizable hyper-surfaces (multi-dimensional input and output) and samples data from them to be used further as benchmark for response surface modeling tasks or optimization algorithms.

PlexBench is a cross-platform, web-enabled, analysis tool that is driven by a scalable backpropagation feed-forward neural network. It uses embedded Perl for scripting and is written in the style of an in-process Component Object Model (COM) C++ program.

This chess program changes its strength to give the best match against you. Eventually it learns to beat you specifically through learning alogirthms. Features included transposition tables and a elementary 3-piece endgame tablebase.

Online game for developers. Program your team of 4 ants (in LISP) that can reproduce and gain experience and fight against another players in different game modes(CTF, TDM, DM)!

musicomp is a program which most important element is an evolutionary algorithm which uses data mining methods as a fitness function to generate monophone melodies.

Sakura is a Knowledge Navigator and User Interface for UNIX, which implements HyperMedia and its own windowing and packing system, both in the main program and in an extensive API for Tcl and other languages.

Hippal is an integrating GUI-framework for a multimodular symbolic A.I.-system IPAL, which combines A.I. Planning, Inductive Program Synthesis, Analogical Reasoning and Learning. Hippal is client-/server-based and uses the Lili Lisp Interpreter as Centr

An omnifont OCR software for KDE. Due to the fact that each step of the OCR process can be visualized you can get a quick idea of how OCR works and where the problems lie. However the program may be of minor/no use for end users in its current state.

...If a suitable answer is not found then the program stops after specified max generations are over.

This proyect will be many things. It will be not only a software program; but also your assistant and maybe your friend. You should be able to speak with her, ask her for advice, or ask her to do your homework.It will be a powerful OS such as Linux but fr

Leanstral is an open-weight large language model developed by Mistral AI and specifically designed as a code agent for the Lean 4 proof assistant, enabling advanced interaction with formal mathematics and program verification systems. The model is built to understand and generate Lean 4 code, which is used to express complex mathematical constructs as well as formal software specifications. By focusing on theorem proving and formal reasoning, Leanstral represents a specialized direction within large language models, targeting domains that require strict correctness and logical rigor rather than general conversational tasks. ...

A chatbot framework currently implementing the ErkiTalk and irc protocol. By specifying parsers for the server's input one can easily create custom bots (if one can program in java of course ;).