Search Results for "software auth program" - Page 13

This program is a installer for KDE sourcefiles. It compiles the code for you so as you need it. It's for UNIX like operating systems. programmed with python.

A free multiplataform Free Software version of hacha, a program for spliting files

PM2HTML takes PageMaker files and makes a cohesive newspaper website. It comprises a PMScript that exports all stories to a directory of tagged txts, and a python program to act as a converter to turn those tagged text files into HTML, a parser to guess

EwgLib is a suite of Python libraries that enable extremely rapid application development. It is also a suite of such applications, each of which can be used via a CLI, GUI, or web-based interface. Currently included is a bulk email program. The in

A utility that is similiar to Debian's apt program, but for the RPM package management system. It can be used to automatically download and install updated RPM packages on any RPM-based distribution.

The aim is to develop a framework to translate UIML (User Interface Markup Language) description of UI into a number of plaforms (wxPython, HTML, etc.). Dynamic and "static" (into a program) rendering implied.

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. ...

PySourceO is a revolutionary source code generator. All that is needed to make a program is to type in what program you want and PySourceO will give you a fully working program that fits your needs. We are creating a new algorithm for PySourceO.

RapidGDB is a scriptable GUI for the GDB debugger. Almost every aspect of the program can be extended using Python code snippets.

This very easy to customize program just takes the information you need for your setup to install your software on other people's machines, it will automatically install repositories and will allow people to install your programs easily. The project is being programmed in Pygtk.

rpm-depcheck is a tool for checking the RPM dependencies of a specified command. It is useful, for example, for getting an indication of what should be included in the "BuildRequires" tag of a RPM spec file when compiling a program.

This program gathers a set of unix scripts to allow you to create software install recipes. The scripts then download, extract, and compile the source using user-configured options

Indxonater was pulled into life after my bosses told me we needed a program to update our Wikindx that doesn't involve Endnote or BibTex. Shazam! Indxonater takes average APA styled bibliographies and turns them into funk! (Interaction required)

Maximal Clique Motif Reduction (MCMR) is a software program for running and then combining the output of multiple motif finder programs, such as MEME, AlignACE and Weeder, into a set of consensus predictions with associated confidence rankings.

Humans vs. Zombies is a game of moderated tag. A group of human players attempts to survive a zombie outbreak by not being tagged by zombie players. See humansvszombies.com for more. The HVZ program is a Django application that administrates this game.

Multitoo is a Python program designed to ease and help automate software updates, system management, and routine maintenance for multiple Gentoo installs. Future suppot will be added later for other major distros.