Search Results for "linux-kernel-webassembly"
Sort By:
96 projects for "linux-kernel-webassembly" with 2 filters applied:
-
Retool your internal operationsBuild internal software that meets enterprise security standards without waiting on engineering resources. Retool connects to your databases, APIs, and data sources while maintaining the permissions and controls you need. Create custom dashboards, admin tools, and workflows from natural language prompts—all deployed in your cloud with security baked in. Stop duct-taping operations together, start building in Retool.
-
Atera all-in-one platform IT management software with AI agentsAtera’s AI agents don’t just assist, they act. From detection to resolution, they handle incidents and requests instantly, taking your IT management from automated to autonomous.
-
1
Tux Paint
An award-winning drawing program for children of all ages
...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
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... -
Grafana: The open and composable observability platformGrafana is the open source analytics & monitoring solution for every database.
-
5
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.
-
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
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
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... -
All-in-one Home Care Management System designed to improve efficiency, productivity, capacity, and compliance.CareLineLive is an all-in-one cloud-based home care management software founded in 2014 by Josh Hough, who serves as Managing Director. The company is part of MAS Technicae Group and received majority investment from Accel-KKR in June 2025.
-
10
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... -
11
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
-
12
-
13
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. -
14
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
-
15
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 platforms that have been under continuous development for over 20 years. Current source code and releases are hosted on Github https://repast.github.io/ -
16
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. -
17
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. -
18
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. -
19
Coptic Encoder
A full system for transcoding between legacy Coptic character sets.
...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). -
20
sdcv - console version of stardict, cross-platform and international dictionary. Please see https://github.com/dushistov/sdcv for project info and downloads.
-
21
-
22
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) -
23
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. -
24
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. -
25
Tich
Manage your Academic Center, in the most simple way
Tich is the tool you need, the education centers of small and medium size, and can be managed in a simple and uncomplicated manera. No need manuals or training, Tich is so simple, you can use the 100% training time in your business.
