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.
A project which uses existing speech recognition and speech translation resources to build conversation partners for beginning language students, based on the idea of a "translation game".
TX Library is a tiny graphics library for Win32 written in C++.
TX Library is a tiny graphics library for Win32 written in C++. It is a small sandbox for the very beginners to help them to learn basic programming principles. The documentation is currently in Russian. More info here: http://storage.ded32.net.ru/Lib/TX/TXUpdate/Doc/HTML.ru, http://ded32.net.ru/news/2011-04-03-58, http://ded32.net.ru.
Application web de suivi SIO
L'application web est destinée au suivi individualisé de l'acquisition des compétences professionnelles du Brevet de Technicien Supérieur SIO. Elle est adoptée par les étudiants au cours des deux années de formation.
Программа тестирования по ПДД
Экзаменационная программа тестирования по Правилам дорожного движения для подготовки к экзамену на получение водительского удостоверения
Билеты ГАИ Республики Беларусь
Экзаменационные билеты по Правилам дорожного движения для подготовки к экзамену на получение водительского удостоверения в ГАИ Республики Беларусь
The allRound pocket sized CodeEditor.
Refurbished Scintilla.orgs/SciTE with some additional patches. -- Features -- - Full MinGW and GTK SDKs Autocomplete.(190+) - Do system scripting (bash, applescript, cmd, powershell, perl, j/vbscript, awk) - Examine all sorts of data files (sql, regedit, mib, xml, yaml, json, vcard ...) - Review difference and patch files - Create makefiles (gnu make / cmake) - Edit html, css and config files (with calltips) - Describe circuits in vhdl and spice. ... - And finally; read & write source code: - [ Syntax highlighted ] - go, vala, pike, swift, flash, ch, rust - [ Calltip assisted ] - c/cpp11, js&jQuery, python, php, ruby, lua, c#, java, perl --Others-- - Restructured config files with inline docs - Scriptable via lua Extension. - Provides theming, a customizeable toolbar, a sidebar with a File Browser and a cleaned up options Menu. --- Summary --- Enjoy your vlc for sourceCode lecture ;) (30Langs)
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 allows to free deleted entries. Dynamic linear hash tables are implemented too. The main algorithms on graphs are implemented in an easy way and with good performance features. Network Flow (maximum and min cost), cut points, topological sort, spanning trees, min paths. etc. The graphs are generic in the sense that they can contain data independent of the algorithm. Several containers of the C++ STL library are implemented with Aleph-w. Their performance is better than GNU implementation
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.
For reflections of verbs and nouns in Arabic along with Urdu meaning
It gives reflections (gardans) of Arabic verbs and nouns along with their Urdu meanings. It also contains HadithNum where you can enter Al Maktabatush Shamela hadith number and get the corresponding Easy Quran wal Hadees hadith number, and vice versa.
Speedcoin [SPD] - Your Global Digital Internet Currency
Speedcoin is an open source peer-to-peer internet currency that enables instant payments to anyone in the world. Speedcoin (SPD) is a lite version of Bitcoin and make online transactions easy and efficient. If you never used bitcoin or any other cryptocurrency before, now is a good time to start with Speedcoin to see how it works. Simply download the Speedcoin wallet and get 100 Speedcoins for Free as new user. Speedcoin wallet is absolutely free!
MhcFS2 - engineering calculator. (math expression calculator, scientific calculator, numerical, integral,integration, derivative, root, matrix, differencial, differentiation, equation, LSE,ODE )
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.
Arcade style educational game that teaches students how to count money
This program offers a quick fun way for students to learn how to count money. The mini games are reminiscent of old school arcade games. The game was developed by a veteran teacher with a Masters degree in Education. Play the FREE DEMO first. If you like the game and it runs well on your PC, try the FULL version. The FREE DEMO includes 2 complete penny games. The FULL version includes penny, nickle, dime and quarter games. Links to where you can get the FULL game are located inside the DEMO. This game works on most Windows based PCs.
Responsive Web Design with template Bootstrap3 free download
This is a psd-to-html responsive layout tamplate based on UI/UX project designed with twitter bootstrap3.
This is a maths solving app and study guide for various levels..
Etchimaths is a Mathematics software, a helping tool for Mathematics simulation(solving) and study.It is a solving machine as well as a teaching machine, It involves Mathematics programs at various levels of studies;It exists as 1.Etchimaths(O'LEVEL) 2.Etchimaths(BAC) 3.Etchimaths(BEPC/BEPC+1) 4.Etchimaths(A'LEVEL) 5.Etchimaths(CAP) 6.Etchimaths(PROBATOIRE) 7.Etchimaths(UNIVERSITY) 8.Etchimaths(UNIVERSITE) 9.Etchimaths(IUT SPECIAL) 10.Etchimaths(ULTIMATE) and more to come
Landscape Generating Program
Viewpoint2 is a landscape rendering program made by Peter Voise in 2016. Free to use for educational and leisure purposes as long as you don't make changes to author and copyright data which come with the program.
Music Lesson Scheduler
SOTA Scheduler can be used by music and other performing arts teachers to schedule their semester lessons, on a rotating basis, during their free periods.
a Productive Parallel Programming Language
Chapel is an emerging parallel programming language whose design and development are being led by Cray Inc. in collaboration with academia, computing labs, and industry. Chapel's goal is to improve the productivity of parallel programmers, from the largest-scale supercomputers to commodity clusters and multicore desktops and laptops.
Turing and Post Machines' C++ Simulators
The C++-programs simulate : Nondeterministic/Deterministic Multitape Turing & Post Machines, Universal Turing Machine, Turing Machine with faults, failures and recovery.
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
A school management system for keeping students records
Dredge School Administration System is a school management system designed to keep students records from admission to graduation. Student records such as fees, medical, grades, allergies, parental etc are captured with the system. It has the ability to send notifications to parents both sms and email notifications
SSH TESTE v0.1, foi desenvolvido para realizar teste em servidores SSH Free, a idéia e foco foram de apenas criação de uma aplicação destinada a console, porém resolvir fazer uma aplicação orientada a objeto, usando a biblioteca Tkinter do próprio Python. Incluir novas funcionalidade como realizar a verificação da pagina onde se encontra os banco de dados aberto e extração dos dados usando a biblioteca HTML Parser..
Okul kütüphanesini yeniledik. Artık yeni kullanıcılar eklenebilecek. Okullar için düzenlenmiş kütüphane programı. En çok kitap okuyanı ve en çok okunan kitabı görebilmek için başlangıçta kullanıcı şifrenizi girmeniz yeterli. Kurulumdan sonra yetkili kullanıcılar "123456" olan ilk şifreyi değiştirmeleri tavsiye olunur. İstediğiniz kadar yetkili kullanıcı tanımlayabilirsiniz. Diğer kullanıcılar sadece okunan kitapların kaydını tutabilir.