Search Results for "program" - Page 53

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

Xitadel is a documentation platform for managing different types of security projects.

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.

This is a python program to create math worksheet suitable for grades 1-5. Being a python program it is portable to both linux and windows platforms.

primejobs is program to control and visualize user's commands execution flow. The commands (jobs) are to be executed at specified time in specified sequence. Unlike usual crontab/scripting primejobs allows direct control of the execution flow, setting notifications related to job events, stop/resume execution at any point etc. primejobs design is influenced by OddJob (http://rgordon.co.uk/oddjob/index.html) which is regarded as major breakthrough in understanding how practical job execution flow control program should look like.

Optasia is a program made with python and pygame and targeting 2d artist with an easy to use interface.

A German web based program that help to find the right denomination. The website matching the belief of a user with beliefs of difference denomination and get back a analyses of accordances.

Workman is a time-tracking program aimed mainly at self-employed contractors who do their job on a computer or telecommuters. It will keep track of hours worked and be able to generate reports to bill employers.

PyEsp - Enhanced/Evolving/Extensible Semantic Profiling. This Python program will sort and filter search results by applying semantic profiling on web pages. The program will learn the user preferences and profiling will be done on the client computer.

ActionShooter will be a program for calculating shooting competition results for action shooting sports such as IPSC. Primary target platform is GNU/Linux.

Easy chat client/server program in Python.

Program for broadcasting files over network.Using udp broadcast package.

UAI is a project aiming to create a good Universal Artificial Intelligence framework/program in Python.

This program is a GUI to configure APRS Trackers based on Jeroen Vreeken (PE1RXQ) and Arno Verhoeven (PE1ICQ) aprstracker code. We are looking for developers!!

A program to help the Theocratic Ministry School Overseer with keeping track of students, keeping up to date schedule, and printing reports.

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

A program which can be used as a service menu for KDE to lock/unlock folders by Changing folder permissions.

A new python SSL/TLS based file sharing program for encrypted server/client based shares with built in chat client.

MePrId is a Python program which can be used to classify a protein, depending whether it is a membrane or a globular protein. Download link: http://meprid.svn.sourceforge.net/viewvc/meprid.tar.gz?view=tar

Comparer is a document comparer program. The initial task of the comparer is to find the likeness of all documents given to it by generating a graph of all usable connections between documents.

BtXmms is a simple program that permits to control your xmms mp3 player via bluetooth with whatever mobile device that is provided of a JVM and bluetooth (such as Nokia 6630 ecc) .

Embeds a python interpreter in the OpenDX (http://www.opendx.org/) visualization system. This allows the user to quickly write their own custom modules using a Python program.

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.

Grasshopper is a type of web browser that is based off the idea that every site is a program instead of a document. Written in Python and using the Qt widget set with PyQt bindings, it is a truly platform independent framework for writing applications.

Linux-invoice a free program with invoice and storage system