Search Results for "mining software linux"
Sort By:
32 projects for "mining software linux" with 2 filters applied:
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
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.
-
1
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.
-
2
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. ... -
3
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. -
4
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... -
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.
-
5
-
6
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
-
7
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. -
8
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. -
9
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. -
Custom VMs From 1 to 96 vCPUs With 99.95% UptimeLive migration and automatic failover keep workloads online through maintenance. One free e2-micro VM every month.
-
10
OpenPoplog is a multi-language, incrementally-compiled virtual machine-based development environment with its own extensive teaching and support material, supporting the languages Pop-11, Prolog, Common Lisp and ML on Unix, VMS, Linux and Windows.
-
11
FLENS (Flexible Library for Efficient Numerical Solutions) is a C++ library for scientific computing. It can be considered as a very convenient and --- at the same time --- extremely efficient interface for BLAS and LAPACK. But it is much more than this
-
12
An open-source corpus analysis class library written in C#. GUI of Tenka Text 0.1.3 comes with Wordlister - an advanced, extremely fast graphical wordlist tool and a simple regex concordance tool. Tenka Text - the open-source answer to WordSmith Tool
-
13
-
14
FrAid(FRactal AID) is an interface to Java, allowing it to proc. math. data(functions/equations). A compl. standalone system utilizing the FrAid prog. lang. is available(no need to be Java programmer to use it!). Use instead of Matlab. High res. graphics
-
15
A tool for people interested in Special Relativity. Can introduce you to some basics, as the transformations and the 4-vectors. Examples, illustrations and some exercises will be included. With some time, effort, and space on the desk, you can master it.
-
16
J-Bird is a database system for recording observations of birds and other organisms over time. To birders, it is listing software. J-Bird is suitable for maintaining bird lifelists and field notes.
-
17
Feel pictures free of charge - SeebyTouch is the unique open source tactile vision substitution system available! Using the software and the construction manual it is possible for everyone to get pictures over the tactile sense! - Blindensehersatzsys
-
18
-
19
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)
-
20
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.
-
21
Java3D 3DS FileLoader for platforms supporting JDK1.4 and Java 3D Highly functional, multiplatform 3DS File format loader Supports: Heirarchical animation Cameras Point Lights Directional Lights Textures Smooth Groups and other features
-
22
An emulator for an educational CPU (P3) used in a Computer Architecture (AC) course in IST (a University in Lisbon, Portugal). The CPU is only theoritical and has a software simulator already implemented. Purpose: final AC project testing and evaluation.
-
23
-
24
The "Framework for Implicit Graph Algorithms and Representations by OBDDs" (Figaro) automatically manages experiments with input generator and algorithm plugins. It already contains some generators and algorithms for graph and scheduling problems.
-
25
Online Presentation Software. Show presentations online without the need of any specialist software, simply use your website. Create presentations instantly with our XML creator.
