Showing 66 open source projects for "software auth program"

View related business solutions
  • 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
  • MongoDB Atlas runs apps anywhere Icon
    MongoDB Atlas runs apps anywhere

    Deploy in 115+ regions with the modern database for every enterprise.

    MongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
    Start Free
  • 1
    This free installer makes it easy to setup PHP for IIS, Apache 1.3/2.0 for Windows. It installs extras like PEAR and ADOdb libraries, FastCGI for PHP reliability, Turck MMCache to accelerate PHP. - Session variable support and register_globals on.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 2
    Adam is a programming language that is truely visual. There is a person named Adam who walks around in a 3D environment to show the execution of a program. A program is a description of the sequence of actions Adam must perform on the objects in a
    Downloads: 0 This Week
    Last Update:
    See Project
  • 3
    The aim of the project is to provide short description of many programming languages, dialects, IDEs, etc. with sample programs (realizations of common algorithms like 'hello, world', 'dot product', 'quine program').
    Downloads: 0 This Week
    Last Update:
    See Project
  • 4
    Sand is a programming language. It is designed to be extremely portable and dynamic, with nearly all functionality implemented as add-on modules. It is also designed to be both pleasant for humans to program as well as aggressively optimized.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Try Google Cloud Risk-Free With $300 in Credit Icon
    Try Google Cloud Risk-Free With $300 in Credit

    No hidden charges. No surprise bills. Cancel anytime.

    Use your credit across every product. Compute, storage, AI, analytics. When it runs out, 20+ products stay free. You only pay when you choose to.
    Start Free
  • 5
    PATH is a unique two-dimensional programming language. Unlike conventional programming languages, which read a program in a left-to-right, top-to-bottom fashion, PATH programs can go up, down, left, and right, and change directions at will.
    Downloads: 7 This Week
    Last Update:
    See Project
  • 6
    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.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 7
    The program emulates a MIX machine (introduced by Knuth in his books "The Art of Computer Programming"). - MIX Assembly Language (MIXAL) parser that converts the MIXAL code to MIX machine code - a MIX interpreter which executes MIX machine code
    Downloads: 0 This Week
    Last Update:
    See Project
  • 8
    This program allows creating client-server database applications with less programming effort. Based on a definition file, the user can browse, search, and update tables through forms. Logic can be coded on a simple scripting language.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 9
    uniread - universal readline - adds full readline support (command editing, history, etc.) to any existing interactive command-line program. Common examples are Oracle's sqlplus or jython. uniread will work on any POSIX platform with Perl.
    Downloads: 0 This Week
    Last Update:
    See Project
  • Enterprise-grade ITSM, for every business Icon
    Enterprise-grade ITSM, for every business

    Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity.

    Freshservice 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.
    Try it Free
  • 10
    "Traceur Pascal" is a java application that interprets Pascal source codes and follow its execution. The purpose is to help pascal beginners to understand how a pascal program is executed and to debug source code.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 11
    The project's aim is to build automated programming language translation system that will port program sources written in one language to other programming language(s).
    Downloads: 0 This Week
    Last Update:
    See Project
  • 12
    Java-program to read, modify and execute class-files. a real java VM written in java or a decompiler for class-files is possible (and partially working)
    Downloads: 0 This Week
    Last Update:
    See Project
  • 13
    This is a small program that enable you to generate XML from your 'home made' document format (should be a text file...) following a very simple control file.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 14
    Is an introspective and customizable general purpose language; can be easily extended both in functions and syntax. Implements the idea that source code and program are equivalent, so it isn't compiled and the program source code can be modified runtime
    Downloads: 0 This Week
    Last Update:
    See Project
  • 15
    CQSAT is a powerful, comprehensive and extensible framework for static analysis of program source code and detection of software defects.
    Downloads: 0 This Week
    Last Update:
    See Project
  • 16

    Kammerjäger

    Kammerjäger is a debugging tool with integrated correctness proving.

    ...In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. This project has been developed during a University project called PSE ("Praxis der Softwareentwicklung" / "practical experience in software developement") at the Karlsruhe Institute of Technology (KIT) by Andreas Eberle, Nicolas Loza, Olga Plisovskaya, Andreas Waidler and Michael Zangl. ...
    Downloads: 0 This Week
    Last Update:
    See Project
MongoDB Logo MongoDB