Search Results for "software auth program" - Page 3
Sort By:
Showing 59 open source projects for "software auth program"
View related business solutions-
$300 in Free Credit Towards Top Cloud ServicesStart your project in minutes. After credits run out, 20+ products include free monthly usage. Only pay when you're ready to scale.
-
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
1
-
2
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.
-
3
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. -
4
Cigol (logic, spelled backwards) is a deductive logic solver. It can be embedded inside a parent program or used from the command line. It has absolutely no relationship to Tom Mitchell's book on Machine Learning.
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
5
WhiteBeer is a new programming paradigm that is motivated by Noam Chomsky's Minimalist Program. It uses feature checking mechanism to parse programs so that it can provide word-order-independence like natural language processing.
-
6
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
-
7
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. ... -
8
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 ;).
-
9
qMaZda
Image analysis software
The open source project to port image analysis MaZda program to Linux and OS X platforms. See: http://www.eletel.p.lodz.pl/programy/mazda/ -
Enterprise-grade ITSM, for every businessFreshservice is an intuitive, AI-powered platform that helps IT, operations, and business teams deliver exceptional service without the usual complexity. Automate repetitive tasks, resolve issues faster, and provide seamless support across the organization. From managing incidents and assets to driving smarter decisions, Freshservice makes it easy to stay efficient and scale with confidence.
