Search Results for "x86_64-linux-gnu"
Sort By:
99 programs for "x86_64-linux-gnu" with 2 filters applied:
-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
Auth0 Free: 25K MAUs + 5-Min SetupProduction-ready login in 10 lines of code. SSO, MFA & social auth included. Scale seamlessly beyond free tier with Okta’s enterprise security.
-
1
Tux Paint
An award-winning drawing program for children of all ages
... of "magic tools" that provide filter effects (like blur, tint and waves) and interesting drawing tools (like train tracks, bubbles and grass). Tux Paint includes a collection of "starter" images, both coloring-book style and photo-realistic, and a large collections of stamps are available as a separate download. Additional content can be added by parents & teachers, or downloaded from 3rd parties. Tux Paint is available for Windows, macOS, Android, Linux, & Haiku operating systems, among others. -
2
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/ -
3
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 and PPC), FreeBSD, OpenSolaris and Windows.
-
4
Agena
Agena is an interpreted procedural programming language.
Agena is an easy-to-learn procedural programming language suited to be used in scientific, mathematical, scripting, networking, and many other applications. Binaries are available for Solaris, Windows, Linux, OS/2, Mac OS X, Raspberry Pi and DOS. -
Deliver secure remote access with OpenVPN.OpenVPN's products provide scalable, secure remote access — giving complete freedom to your employees to work outside the office while securely accessing SaaS, the internet, and company resources.
-
5
TKD Scoring Wi-Fi
TKD Scoring Wi-Fi Server supporting Android and IPhone clients
Scoring Wi-Fi PRO system was created by Taekwondo people like you and we use the scoring system in all our classes, just like you We created this app few years ago to provide an effective, professional low cost solution with the same benefits and feeling experience, or even providing a better experience than any existing wired professional tournament solution The success of the application in our Taekwondo sparring classes where our members described the application as “Holy crap this... -
6
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.
-
7
MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
-
8
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. -
9
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... -
The #1 Embedded Analytics Solution for SaaS Teams.Qrvey’s comprehensive embedded analytics software enables you to design more customizable analytics experiences for your end users.
-
10
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... -
11
Digital Logic Simulator (DiLoSim)
Allows you to build your own circuits and test them
With this software you will be able to build your own circuits and test them. You are allowed to use this easy-to-use tool for educational reasons. Run on Windows: - Install Java: https://java.com/en/download/ - Download the binaries - Open the jar-file with the java runtime Limitations: - Currently only German language supported. - This software requires Java 8 or above to work. Tested with OpenJDK & Oracle Java. For more information check out the project's source code... -
12
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
-
13
-
14
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. -
15
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
-
16
Repast
The Repast Suite is a family of free agent-based modeling libraries.
The Repast Suite is a family of advanced, free, and open source agent-based modeling and simulation libraries that have collectively been under continuous development for over 10 years. -
17
GeMarge
GeMarge: Logiciel de gestion d’émargement des Professeurs
GeMarge est un Logiciel de gestion d’émargement des professeurs, enseignants des écoles (Primaires, Collèges, Lycées et Universités) privées et du public. Développé par Gueu Pacôme. -
18
Lingvist
Program for learning foreign words
Lingvist is the program for learning foreign words. The learning of words in program pass three stages: translation from foreign to native, translation from native to foreign, writing of foreign words. -
19
OpenAxiom: Scientific Computation System
A system for computer algebra and symbolic mathematics
OpenAxiom is an open source Computer Algebra System. It offers an interactive environment, an expressive programming language, a compiler, a large set of mathematical libraries of interest to researchers and practitioners of computational sciences. -
20
-
21
-
22
Coptic Encoder
A full system for transcoding between legacy Coptic character sets.
... encoding and then turn it into Unicode than to type directly in Unicode. This package aims to act as a stepping stone to Unicode, by including several legacy fonts hard-coded to take advantage of the multiple encodings, as well as a UNIX shell script, in multiple shell languages, to transcode between these encodings. All twelve encodings in wide use are supported. The fonts in this package are compatible with many operating systems; the shell scripts support Mac and Linux (more soon). -
23
Lingvist. Irregular Verbs
The program for learning english irregular verbs.
"Lingvist. Irregular Verbs" is the program for learning english irregular verbs. You need only write down second and third forms of verbs into fields and press Enter) -
24
Guma
Guma: An application for elementary school math...
To Guma είναι μια δωρεάν εκπαιδευτική εφαρμογή ελευθέρου λογισμικού όπου επιτρέπει στους μαθητές του δημοτικού να εξασκούνται στις πράξεις: πρόσθεσης, πολλαπλασιασμού, διαίρεσης και αφαίρεσης φυσικών αριθμών. Guma is a educational free of charge, free software (With the meaning of Richard Stallman) software that helps elementary school students to practice in adding,substraction, multiplication anb division with natural numbers. -
25
Blue Basin
General template for expressions using Lisp-like structures.
A group of generic tools and containers for using in logical and mathematical terms. Lisp like type-safe n-Trees.