Search Results for "mining software linux"
Sort By:
77 projects for "mining software linux" with 2 filters applied:
-
Our Free Plans just got better! | Auth0You asked, we delivered! Auth0 is excited to expand our Free and Paid plans to include more options so you can focus on building, deploying, and scaling applications without having to worry about your security. Auth0 now, thank yourself later.
-
Ship Agents FasterGemini Enterprise Agent Platform lets you rapidly build, scale, govern and optimize production-ready agents grounded in your organization's data. The platform enables developers to build custom or pre-built agents for virtually any use case. New customers get $300 in free credits.
-
1
Programming Without Coding Technology
Create software using a general-purpose visual programming system
PWCT is not a Wizard for creating your application in 1 2 3 steps. PWCT is a general-purpose visual programming language designed for novice and expert programmers. A novice programmer can use PWCT to learn programming concepts like Data Structures, Control Structures and Programming Paradigms. An expert programmer can use PWCT to create any large and complex software. Using PWCT we developed a textual programming language Compiler and Virtual Machine without writing a single line of... -
2
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, ARM and PPC), FreeBSD, OpenSolaris and Windows.
-
3
General Knowledge Machine Project
Intellect Modeling Kit: assisting research, diagnostics, consulting
...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 propositions; * Memorizing - new knowledge item creation; * Abstraction – building objects representing typical signs of similar objects groups, data mining. KM is not intended to replace human experts, it is built to multiply abilities. Machine should not be responsible for decisions. The IMK is designed to create ready-to-use software applications using simple text files. Any human knowledge can be uploaded to KM by expert not familiar with software coding. Demos present in kit. ... -
4
ALEPH-w
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... -
Demo Series - Small Business Backup By VeeamWatch this on-demand demo series and learn how to protect your Microsoft 365 data with clear, simple, actionable steps that are easy to implement for businesses of all sizes.
-
5
pseudo-c-compiler
Tiny education compiler that can compile itself
Tiny (less then 1000 lines of code) education compiler that can compile itself. Implements small subset of C language without pointers, structures etc. Parameters and local variables also not implemented. To interface with OS Borland-style inline assembler are used (db directive only). Based on initial version of Tiny Context compiler (http://avhohlov.narod.ru/p1805en.htm). In order to simplicity compiler uses fixed source and target file names (C.C and C.COM). On Linux and any 64-bit... -
6
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... -
7
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.
-
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
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. -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
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
-
12
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
-
13
Cryptography Tools
Classic & Modern Cryptography tools
Cryptography Tools is a project to develop demonstration tools on classic (currently Caesar and Playfair) & modern crypto-systems, including private & public key encryptions, digital signatures, cryptographic hashes and authenticated encryption. -
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
NPRIM
Calculate primes numbers with yourself
Nprim calculate the primes numbers. This software was written and compiled in FreePascal Compiler. Works in DOS and LINUX OS. -
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
GCompris : I got IT
Educational Software for children aged 2 to 10.
GCompris is a high quality educational software suite comprising of numerous activities for children aged 2 to 10. Some of the activities are game oriented, but nonetheless still educational. -
18
...for a complete list of my software featuring Windows, Linux, and FreeBSD just go to Files. > https://sourceforge.net/projects/freeware/files/ final note: this learning space assumes that you already have support for **7zip** and **.tar.gz** archives. if you don't, please go get it. > http://www.7zip.org/ for tar.gz: 1. open the terminal 2. enter "gunzip file.tar.gz" 3. enter "tar -xzvf file.tar" Now accepting Bitcoin donations: 1AFMeDXvwenkKV96tLaYnXdRVxjZSRWhP
-
19
DIASER
Cloud storage class, open source software.
DIASER, Geo-data duplication long-term archive system & WAN vault. Manage mixed data archives generated by existing backup software. Ensure availability using commodity hardware. Retain administrative and financial control. -
20
GGI stands for "General Graphics Interface", and it is a project that aims to develop a reliable, stable and fast graphics system that works everywhere. We want to allow any program using GGI to run on any platform requiring at most a recompile.
-
21
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
-
22
QueLang
QueLang is a designing tool to use for Questionnaire Design.
This is the first implementation of QueLang. QueLang is a language I designed for Questionnaire Design and Implementation. This software can compile your code (written in .ql text files) into a special .qlc format (a kind of database). Then it can read those .qlc files to open them in viewer and export them to PDF format. It can be also used for exam and test designing! Tested on: -Linux Ubuntu 12.04 -Windows 7 64-bit QueLang can run by double clicking the .jar (or .exe) file. ... -
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
Seagull is a multi-protocol traffic generator. Especially targeted towards IMS, Seagull supports Diameter (RFC3588 and all applications) over TCP/SCTP and IPv4/IPv6 , TCAP (over SS7 or Sigtran), XCAP over HTTP and Radius.
-
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.
