Search Results for "gnu linux"
Sort By:
168 projects for "gnu linux" with 2 filters applied:
-
MongoDB Atlas runs apps anywhereMongoDB 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.
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
1
Tux Paint
An award-winning drawing program for children of all ages
Tux Paint is a free, award-winning drawing program originally created for children ages 3 to 12, but enjoyed by all! It combines an easy-to-use interface, fun sound effects, and an encouraging cartoon mascot who guides children as they use the program. You're presented with a blank canvas and a variety of drawing tools to help them be creative. Along with paintbrush, shapes and text, Tux Paint includes a "stamp" feature to add pre-drawn or photographic imagery to pictures, and a set of... -
2
TORCS, The Open Racing Car Simulator is a highly portable multi platform car racing simulation. It is used as ordinary car racing game, as AI racing game and as research platform. It runs on Linux (x86, AMD64, ARM and PPC), FreeBSD, OpenSolaris and Windows.
-
3
Programming Without Coding Technology
Create software using visual programming
PWCT is not a Wizard for creating your application in 1 2 3 steps. PWCT is a general-purpose visual programming language designed for novice and expert programmers. A novice programmer can use PWCT to learn programming concepts like Data Structures, Control Structures and Programming Paradigms. An expert programmer can use PWCT to create any large and complex software. Using PWCT we developed a textual programming language Compiler and Virtual Machine without writing a single line of... -
4
Moodle
A free course management system (CMS) to create online learning sites
Moodle is a Course Management System (CMS), also known as a Learning Management System (LMS) or a Virtual Learning Environment (VLE). It is a Free web application that educators can use to create effective online learning sites. https://moodle.org/ -
Go From AI Idea to AI App FastAccess Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.
-
5
KingJamesPureBibleSearch
GUI Application to Search and Count the Pure King James Bible
Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived... -
6
General Knowledge Machine Project
Intellect Modeling Kit: assisting research, diagnostics, consulting
We humans are bound by intellectual abilities. All knowledge is far beyond power of any person. The only way to apply knowledge is to build machines able to present it human way but not limited by volume. Intellect Modeling Kit (IMK) is intended to build knowledge machines (KM) assisting experts on the steps of activity: * Observation; * Producing propositions based on knowledge; * Elimination of impossible propositions; * Selection and verification of the most appropriate... -
7
Stud.IP ist ein Lern- und Informations-Management-System für Hochschulen, Bildungseinrichtungen und Unternehmen. Professioneller Support und Auftragsentwicklung wird durch data-quest (www.data-quest.de) angeboten.
-
8
PMViewer is a Visualization tool for Astrophysical N-Body and Hydro Simulations. GADGET-2 data support.With/Without periodical boundary conditions.Snapshot of scene in PPM and GIF formats.Flying in 3D space. Active/Passive Stereo 3D support.
-
9
ALEPH-w
Data structures and Algorithms library
Aleph-w is a library of data structures and algorithms implemented in and for C++. It contains the main data structures: single and double lists, special arrays (dynamic and of bits), many types of trees: multitrees, binary search trees, avl, red-black, randomized, treaps, splay and other interesting types. Several types of hash tables are implemented: separated chaining, open adressing with linear probing and double function hash; this last one has a garbage colector mechanism that... -
Full-stack observability with actually useful AI | Grafana CloudBuilt 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.
-
10
XBNF Neurotranslator compiler
(X)BNF simple and clever translation grammar compiler
...No installation, juste get binary for your architecture : > See [Files] > binary.{version} Library of smart samples of grammars> https://sourceforge.net/projects/xbnf/ Docker image which embeds the Linux/64bits binary and the library. https://hub.docker.com/r/damolab/neurotranslator/ Docker image with GNU C++ toolchain to build the xbnf command: https://hub.docker.com/r/damolab/neurotranslator-compil French blog dedicated to XBNF : https://damolab.zapto.org/xbnf/ -
11
Klavaro Touch Typing Tutor
A very efficient tutor.
A touch typing tutor very flexible, supporting customizable keyboard layouts. You can edit and save new or unknown keyboard layouts, as the basic course was designed to not depend on specific ones. Also, there are some charts about the learning process. -
12
Funiter (FUNction ITERation) is developed for educational purposes, generating graphs of several types for iteration of real and complex functions with comfortable switching between related types of graphs.
-
13
MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
-
14
Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
The Archive of Formal Proofs is a collection of proof libraries, examples, and larger scientifc developments, mechanically checked in the theorem prover Isabelle. It is organized in the way of a scientific journal. Submissions are refereed. -
15
nuBASIC
BASIC language interpreter (multiplatform)
nuBASIC is an implementation of an interpreter of the BASIC programming language and IDE. It has been designed mainly for educational purposes and it is suitable for simple games, educational or small business programs. -
16
Impro-Visor
Leadsheet notation with auto-generated playback, improvisation advice
Impro-Visor® is a music notation tool for producing monophonic lead sheets, specifically intended to help the improviser. Chord symbols are used to generate backing tracks automatically. Improvisation advice exists in the form of note coloration, database of licks, and automatic lick generation from grammars. Grammars can be learned automatically from transcriptions. Styles can be edited and created by the user. Other features include generation of roadmaps for understanding keys and... -
17
SCRAM
Probabilistic Risk Assessment Tool
SCRAM is a free and open source probabilistic risk analysis tool. The tool is under development to include fault tree, event tree, common cause, and other standard analyses. -
18
As a library of classes for generating and manipulating music and sound, jMusic provides a solid framework for computer assisted composition in Java. jMusic has a music data structure based upon note/sound events and methods for modifying and structu
-
19
-
20
A cross-platform Bible application for the Linux & Windows communities. Xiphos is no longer developed at SF; the SVN tree has been locked, the mailing lists are disabled, and we have moved to GitHub. Please see https://github.com/crosswire/xiphos. Releases up to 4.0.4 are present here. From 4.0.5 onward, see GitHub.
-
21
DictionaryForMIDs
Dictionary for Mobile Information Devices and PCs
DictionaryForMIDs is an dictionary application for cell phones, tablets and PCs. The dictionary is completely installed on the device ("offline dictionary"), i.e. after installation there is no need for an internet connection. DictionaryForMIDs can be set up for any dictionary, for any language, or for any other lookup-purpose. The DfM-Creator tool is used to set up a dictionary for use with DictionaryForMIDs. -
22
CCR Plus
Move to https://github.com/sxyzccr/CCR-Plus
CCR Plus is a simple judging environment for Olympiad in Informatics. It uses Qt and it is platform independence. This project has been moved to https://github.com/sxyzccr/CCR-Plus -
23
ADMS is a code generator that converts electrical compact device models specified in high-level description language into ready-to-compile c code for the API of spice simulators. Repository migrated to: https://github.com/Qucs/ADMS For checkout do: git clone https://github.com/Qucs/ADMS.git
-
24
SonasoundP is a follow-up to Niklas Werner's sonasound and aims at helping foreign language students with their speech drills. The program shows a real-time spectrogram. Our aim is to add means to record and compare speech from different speakers.
-
25
LGS-Helfer
Ein Programm für die analytische Geometrie
Ein Programm zur schrittweisen Bestimmung der Lage von Punkten, Geraden und Ebenen. A german program for school mathematics: It helps you to calculate common points of planes and lines. It works step-by-step so you can find your mistakes easily.
