24 projects for "software auth program" with 2 filters applied:

  • Full-stack observability with actually useful AI | Grafana Cloud Icon
    Full-stack observability with actually useful AI | Grafana Cloud

    Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.

    Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
    Create free account
  • Custom VMs From 1 to 96 vCPUs With 99.95% Uptime Icon
    Custom VMs From 1 to 96 vCPUs With 99.95% Uptime

    General-purpose, compute-optimized, or GPU/TPU-accelerated. Built to your exact specs.

    Live migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
    Try Free
  • 1
    Agent Auth Protocol

    Agent Auth Protocol

    Standard and implementation for AI agent authentication

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    chatd

    chatd

    Chat with your documents using local AI

    ...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.
    Downloads: 9 This Week
    Last Update:
    See Project
  • 3
    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
    Downloads: 35 This Week
    Last Update:
    See Project
  • 4
    BossSensor

    BossSensor

    Hide screen when boss is approaching

    ...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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Gemini 3 and 200+ AI Models on One Platform Icon
    Gemini 3 and 200+ AI Models on One Platform

    Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.

    Build generative AI apps with Vertex AI. Switch between models without switching platforms.
    Start Free
  • 5
    jChecs is an open source Java chess program, designed to introduce the basics of computer chess programming concepts.
    Downloads: 1 This Week
    Last Update:
    See Project
  • 6
    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
    Leader badge
    Downloads: 299 This Week
    Last Update:
    See Project
  • 7

    Reactor Breeder

    A Genetic Algorithm for Reactors in StarMade

    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    pyIRDG

    pyIRDG

    IMDb Relational Dataset Generator

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    BayesianCortex

    BayesianCortex

    simple algorithm for a realtime interactive visual cortex for painting

    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...
    Downloads: 0 This Week
    Last Update:
    See Project
  • AI-powered service management for IT and enterprise teams Icon
    AI-powered service management for IT and enterprise teams

    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
    Try it Free
  • 10
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    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.
    Downloads: 5 This Week
    Last Update:
    See Project
  • 13
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16
    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)!
    Downloads: 0 This Week
    Last Update:
    See Project
  • 17
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 18
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 19
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 20
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 21
    VKAS - a genetic function finder

    VKAS - a genetic function finder

    An AI program that deploys genetic programming

    ...If a suitable answer is not found then the program stops after specified max generations are over.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 22
    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
    Downloads: 0 This Week
    Last Update:
    See Project
  • 23
    Leanstral

    Leanstral

    Open-source code agent designed for Lean 4

    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. ...
    Downloads: 0 This Week
    Last Update:
    See Project
  • 24
    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 ;).
    Downloads: 0 This Week
    Last Update:
    See Project
  • Previous
  • You're on page 1
  • Next
MongoDB Logo MongoDB