Search Results for "mx-linux"
Sort By:
98 programs for "mx-linux" with 2 filters applied:
-
When it comes to cybersecurity, what your clients don’t know can really hurt them. And believe it or not, keep them safe starts with asking questions. With ConnectWise Identify Assessment, get access to risk assessment backed by the NIST Cybersecurity Framework to uncover risks across your client’s entire business, not just their networks. With a clearly defined, easy-to-read risk report in hand, you can start having meaningful security conversations that can get you on the path of keeping your clients protected from every angle. Choose from two assessment levels to cover every client’s need, from the Essentials to cover the basics to our Comprehensive Assessment to dive deeper to uncover additional risks. Our intuitive heat map shows you your client’s overall risk level and priority to address risks based on probability and financial impact. Each report includes remediation recommendations to help you create a revenue-generating action plan.
-
Our 360 recognition & rewards platform enables everyone (peer to peer & manager to employees alike) to send meaningful recognition rooted in core values. Nectar has the most extensive rewards catalog so users can choose from company branded swag, Amazon products, gift cards or custom reward types. Integrate with your other tools like Slack and Teams to make sending recognition easy. We support top organizations like MLB, SHRM, Redfin, Heineken and more.
-
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. -
Track all your service data in one easy-to-use system, enabling your team to move faster and generate more revenue for your bottom line.
-
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 Vivantio Platform allows you to focus on the IT service management tools that make sense for your organization’s unique service model: from incident, problem and change requests, to service requests, client knowledge and asset management
-
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.