Search Results for "mingw-w64"
Sort By:
Showing 41 open source projects for "mingw-w64"
View related business solutions-
Workload Automation for Global EnterprisesRedwood lets you orchestrate securely and reliably across any application, service or server, in the cloud or on-premise, all inside a single platform.
-
Contract Management Software | ConcordConcord serves small and mid-sized businesses and Fortune 500 companies. This robust, web-based platform is used by human resource, sales, procurement, and legal teams, and virtually anyone who deals with contracts.
-
1
KingJamesPureBibleSearch
GUI Application to Search and Count the Pure King James Bible
Study and analyze the Fingerprint of God in the mathematical structure, known as the King James Code, of the King James text of the Holy Bible. Allows instant real-time searches, with an autocompleter droplist to assist with words which come next. Jump to specific words, verses, or chapters by number, and see all possible count statistics of phrases within the text. Graphically visualize search results, cross-reference sources and word lexicons, and search foreign translations derived... -
2
XBNF Neurotranslator compiler
(X)BNF simple and clever translation grammar compiler
XBNF Neurotranslator is a powerfull extended BNF grammar language to handle translations easily and many features to handle different kind of situations. This project is for common arch binaries, C++ sources, tests & support tickets. No installation, juste get binary for your architecture : > See [Files] > binary.{version} Library of smart samples of grammars> https://sourceforge.net/projects/xbnf/ Docker image which embeds the Linux/64bits binary and the... -
3
Klavaro Touch Typing Tutor
A very efficient tutor.
A touch typing tutor very flexible, supporting customizable keyboard layouts. You can edit and save new or unknown keyboard layouts, as the basic course was designed to not depend on specific ones. Also, there are some charts about the learning process. -
4
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... -
IT Asset Management (ITAM) SoftwareDrowning in misplaced IT assets, compliance headaches, and shadow IT? Navigate to clarity with an intuitive IT Asset Management solution. Experience crisp visibility, effortless control, and unshakable security – all while freeing up your budget with optimized software licenses. The best part? It’s easy.
-
5
Axiom is a computer algebra system. It consists of an interpreter, a compiler and a library of algorithms. Axiom is an excellent research platform as well as a useful tool for scientific programming.
-
6
GMP Fortran library
Fortran binding for GMP library
Fortran binding for GMP library. Currently gfortran compiler supported on Linux and MS Windows (MinGW) platforms. Included Fortran program for solving Archimedes's cattle problem. -
7
nuBASIC
BASIC language interpreter (multiplatform)
nuBASIC is an implementation of an interpreter of the BASIC programming language and IDE. It has been designed mainly for educational purposes and it is suitable for simple games, educational or small business programs. -
8
A cross-platform Bible application for the Linux & Windows communities. Xiphos is no longer developed at SF; the SVN tree has been locked, the mailing lists are disabled, and we have moved to GitHub. Please see https://github.com/crosswire/xiphos. Releases up to 4.0.4 are present here. From 4.0.5 onward, see GitHub.
-
9
Turing and Post Machines: C++ Simulators
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. -
The most advanced C and C++ source code analyzerTrustInSoft Analyzer is a C and C++ source code analyzer powered by formal methods, mathematical & logical reasonings that allow for exhaustive analysis of source code. This analysis can be run without false positives or false negatives, so that every real bug in the code is found. Developers receive several benefits: a user-friendly graphical interface that directs developers to the root cause of bugs, and instant utility to expand the coverage of their existing tests. Unlike traditional source code analysis tools, TrustInSoft’s solution is not only the most comprehensive approach on the market but is also progressive, instantly deployable by developers, even if they lack experience with formal methods, from exhaustive analysis up to a functional proof that the software developed meets specifications.
-
10
SonasoundP is a follow-up to Niklas Werner's sonasound and aims at helping foreign language students with their speech drills. The program shows a real-time spectrogram. Our aim is to add means to record and compare speech from different speakers.
-
11
GTKards
Flashcard program for learning foreign words
To run it for windows you have to install python3 and pygi first. Download python: https://www.python.org/downloads/ PyGi for windows: http://pygobjectwin32.sf.net Then downlaod the gtkards source and run it with python3 main.py For linux it should work as it is. -
12
Periodic Table of Elements
Periodic Table of Elements a quick reference tool
Periodic Table of Elements is a quick reference tool that allows you a quick glance to get general information about an element. The program is for educational purposes. -
13
SimplePotter3D
This application is a 3 dimensions object maker and viewer program.
This application is a 3 dimensions object maker and viewer program. It creates 3D objects by a simple way. The made object viewable with 3D glass which has two different color glasses. The two colors of 3D image are settingable for the both glass-colors. The created object is walkable around, saveable, loadable back. The background color and object mono-color both are changeable. This application does not make surface on the object but makes a net by points. It is able to make a... -
14
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. -
15
Geometrical Simulator
Virtual Simulator for Dynamical Systems
Geometrical Simulator is basically a graphical user interface to visualize geometrically the evolution of abstract dynamical systems of particles along the virtual time. -
16
C/C++ Program Perfometer
The program enables to get performance of C/C++ program for any metric
The program enables to get performance of C/C++ program and separated pieces of code for any metrics (for instance : time, memory, metrics defined by user etc.). The measurement results are represented in detailed/summary reports. Latest Version: 2.10 -
17
gMol
gMol molecular graphics
We've moved to https://github.com/tjod/gMol/wiki gMol is an interactive visualization system used to display and manipulate 3-dimensional models of scientific data, such as molecular structures and surfaces. It contains both OpenGL and web browser widgets that enable flexible user interfaces. -
18
this is where you will find all of my completely free software. both free as in "free speech" and free as in "free beer"! this project space has been established so we can all help eachother with software development. in other words, we're here for the learning experience. i will always give my source code so that you may study it and practice it yourself and/or provide constructive feedback so you can help me learn how I can make improvements. for a complete list of my software...
-
19
Al-anvar is an open source freeware dedicated for Quranic study and research. Some of its features are: Advanced search , Commenting tool , Indexing and Grouping , Add-ons for different translations and commentaries in many languages , Online and offline recitation
-
20
Program for Programmed Instruction, with program for viewing tests, editing questions in tests and analyzing data obtained in tests.
-
21
Inventory Manager
Programa Gestor de Inventario
Programa gestor de inventario, sencillo y fiable. Realizado para el PBES del primer curso del Grado en Ingeniería de Informática de la Universidad Europea de Madrid. -
22
Evrika
Science simulator and advanced calculator based on modules
Evrika is a science simulator and advanced calculator, which is based on modules. Modules are libraries containing definitions of concepts that can be used in the simulation. By definitions we mean properties, actions, reactions, etc. Evrika is used for creating both simulations and modules, so you can build your own module of elements, then use them to create virtual experiments and simulations. Also, you can make advanced calculations. Evrika is basically an executable that reads and... -
23
Simured is a multicomputer network simulation whith visual interface to see packet movement on the network. It is multi platform and there are versions in Java and C++.
-
24
wxArithmetic
Simple arithmetic game
**Beta version binaries are up:** *Windows:* Just unpack the archive and run the exe. *Linux:* Download and run the binary. If it doesn't run, execute "chmod +x wxArithmetic_32bit_linuxTestBinary" and run again. Trouble getting your mind up to speed in the morning? Does every morning at the office seem like monday morning? Calculate 100 arithmetic operations in the morning to warm up for the day. wxArithmetic is a simple arithmetic practice game. It generates random operations... -
25
The software package SINSEL («SImulator New of Solution Equation of Landau») is designed to fit a one and multiple oscillating peaks spectrums with the new solution of the kinetic equations of Landau.
