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/
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.
An award-winning drawing program for children ages 3 to 12
Tux Paint is a free, award-winning drawing program for children ages 3 to 12. It combines an easy-to-use interface, fun sound effects, and an encouraging cartoon mascot who guides children as they use the program. Kids are 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 "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 and teachers, or downloaded from 3rd parties. Tux Paint is available for Linux, BSD, Windows, Mac OS X and Haiku operating systems.
Agena is an interpreted procedural programming language.
Agena is a new 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.
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, MacOSX and Windows.
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.
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
Intellect Modeling Kit - full intellect-based apps development suite
Intellect Modeling Kit is an alternative to traditional Artificial Intelligence, intended to build apps assisting human intellect on the steps of its activity: * Observation * Producing propositions based on knowledge * Elimination of impossible propositions * Selection and verification of the most appropriate propositions * Memorizing - converting data to information and new knowledge item creation * Abstraction finding – building artificial objects, representing group of real objects featuring typical signs of group Any human knowledge written and spoken can be uploaded to IMK in a straight way by any expert not familiar with software coding. The IMK components are designed to create ready-to-use software application using simple text files provided by people. IMK accepts human knowledge and develops new knowledge together with people. The activity of IMK could be verified by human expert on every stage. IMK assists intellectual activity, but does not replace us.
Parse and store Infringement Notices with web interface and RT connect
Retrieve (via IMAP), parse, and store Coypright Infringement Notice e-mails in a MySQL database. Provide a web interface to the salient data of each Notice with search and limited report capabilities. Uses optional RequestTracker (RT) service for action recording. Uses optional database for listing organzational LAN/Network adminstrators for possible correlation to purported infringing IP address. Development depended only on Notice e-mails and ACNS XML v1.2 schema. No other documents, devices/appliances, or marketing information was used. Note that this project does not prevent, interrupt, or track media downloads nor is it meant to replace any such capabilities. It deals only with Notice e-mails.
clipsmm is a C++ interface to the CLIPS libray, a C library for developing expert systems.
TKD Scoring Wi-Fi Server supporting Android and IPhone clients
TKD Scoring Wi-Fi 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 is incredible! This looks even more professional and easier to use than any of the programs I’ve ever seen used at comps.” and “Hey... just installed everything and it’s unreal! Everything works perfectly, looks great!” encouraged us to make it public for everybody Like any scoring system the “TKD Scoring Wi-Fi” system has few basic components: *TKD Scoring Wi-Fi Server(PC or Android) *TKD Scoring Wi-Fi Client(Android or IPhone) *TKD Scoring Wi-Fi Remote Score Display (Android)
Calendar App To Perform Date-Time Related Functions
Github - https://github.com/shivammathur/C-CPP-Calendar C-CPP Calendar app is a easy to use app to do all the functions that a calendar is used for. The app is very handy and extremely better than using a physical calendar. It is available as both x86 and a x64 versions. The app can display day of any date in the Gregorian calendar (1753 - 9999). It can be used to display calendar of a month of a year. The most awesome feature is that it displays the calendar of a year in a well formatted layout like a paper calendar and also generate a text file for the same. It is very handy when it displays the dates in a month on which a day occurs in that month. C-CPP Calendar provides personalized user account with password protection (MD5 based). C-CPP Calendar is compatible with Windows 2000 up-to Windows 10. Though no official support is there for Linux or mac, it was tested to be work
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.
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
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.
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.
sdcv - console version of stardict, cross-platform and international dictionary.
mcuStudio is a development environment for Microcontrollers. It's based on Eclipse (plugin). The aim is to provide a high quality development environment for electronics. First editions will target Microchip Pic mcu's. Other mcu will be supported later.
A full system for transcoding between legacy Coptic character sets.
Before Unicode, there were several competing character encodings for the Coptic script. For instance, one group of fonts might map Coptic letters Γγ to Latin keys Gg, while another group might map them to Latin keys Jj. There are several reasons for the user to opt for legacy rather than Unicode encodings. Two deserve special mention. First, there are certain marks used in Biblical and other textual criticism that do not appear in Unicode; second, it is far easier to type in a legacy 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).
A content management system designed to help academic institutions manage external relations--including media relations, alumni relations, and institutional advancement--over the Web and in print. It uses PHP, MySQL, Apache and an XSL engine.
A neuroscientific knowledge management system for the published literature
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.
MesoRD is a stochastic and deterministic simulator of coupled chemical reactions and diffusions in space.
Avian Freeware Suite (AFS) provides two things: Developers with libraries for Java Swing Widgets, XML handling, Fortran95 and Pascal; End users (Medical students, doctors, scientists) with productivity tools they can use (quizzes, XML databasing & PDF)
The mission of libshell is to keep in place all patterns, functions and etc of shell as a library which are useful in day-to-day work activities. With libshell one can definitely obviate the task in hand.