Search Results for "system info software"
Sort By:
47 programs for "system info software" with 2 filters applied:
-
Free CRM Software With Something for EveryoneThink CRM software is just about contact management? Think again. HubSpot CRM has free tools for everyone on your team, and it’s 100% free. Here’s how our free CRM solution makes your job easier.
-
Bright Data - All in One Platform for Proxies and Web ScrapingBright Data offers the highest quality proxies with automated session management, IP rotation, and advanced web unlocking technology. Enjoy reliable, fast performance with easy integration, a user-friendly dashboard, and enterprise-grade scaling. Powered by ethically-sourced residential IPs for seamless web scraping.
-
1
Agena
Agena is an interpreted procedural programming language.
Agena is an 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. -
2
Lush is a Lisp dialect with extensions for object-oriented and array-oriented programming. Lush is intended for prototyping numerically intensive applications and is designed for easy integration of existing C/C++/Fortran codes.
-
3
Eagle Mode
Zoomable user interface (ZUI) with file manager, file viewers and more
Eagle Mode is a zoomable user interface (ZUI) with file manager, file viewers, games, and more. This project is about a futuristic style of human-computer interaction, where the user can visit almost everything simply by zooming in. It features a portable C++ toolkit API for developing such ZUIs, and it features the Eagle Mode application, which provides a virtual cosmos with plugin applications. The most important one is the professional file manager with its rich, scriptable command... -
4
wxArt2D gives wxWindows applications sophisticated vector drawing functionality. It is based on a framework supporting multiple views within a hierarchical document. Supports drawing & (Graph) editing. In-output in SVG, GDSII, XML, easy to extend.
-
Manage printing in a cost-efficient and eco-friendly way with Gelato.The world's largest print on demand network with 140+ production partners across 32 countries. Gelato offers end-to-end design, production and logistics for individuals looking to start their own business today!
-
5
Automatic Drawing Generation
A canvas library for generating technical drawings
The ADG library (Automatic Drawing Generation) is a set of functions focused on automating the drawing of mechanical parts. It is not a CAD system but a GObject-based library where a custom application can put common CAD entities such as paths, hatches and dimensions, to automatically create technical drawings. A demo application is provided in order to show the capabilities of the canvas. Although it is possible to interact with the library directly in C (that is what the adg-demo program... -
6
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. -
7
Snap7
32/64 bit multi-platform Ethernet S7 PLC communication suite
Snap7, through three specialized components: Client and the inedited Server and Partner, allows you to definitively integrate your PC based systems into a PLC automation chain. Designed to transfer large amounts of hi-speed data in industrial facilities, it scales easily, down to small Linux Arm boards such as Raspberry PI. Hi level object oriented wrappers are provided, currently C/C++, .NET/Mono, Pascal, LabVIEW, Python with many source code examples. Very easy to use, a full... -
8
newLISP for BSDs, LINUX, MacOS X, SunOS and Win32: small, fast 350+ functions, a -C-, MySQL, PostgreSQL, SQLite, ODBC, TCP/IP, UDP, XML, Java interface, string processing, regular expressions , math, financial, statistical functions, Win32 DLL
-
9
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... -
Secure remote access solution to your private network, in the cloud or on-prem.OpenVPN is here to bring simple, flexible, and cost-effective secure remote access to companies of all sizes, regardless of where their resources are located.
-
10
Logic Lab
This is a suite of mathematical software solvers GUI
This is a suite of mathematical software solvers interface on DLV and other command-line solvers. It helps researchers and students to better comprehend their declarative definitions published on papers. The user can have links to the related papers and to the software of the corresponding definitions. -
11
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. -
12
Tinger Calc
Tinger Calc is a powerful scientific calculator environment.
Tinger Calc is a powerful scientific calculator environment. It supports elementary math ( +, -, *, /, ^), trigonometric functions (sin, sinh, asin, cos, cosh, acos, tan, tanh, atan), exponential functions (exp, ln, lg, sqrt), math constants (pi, e), system functions (exit, quit, print). The software support email: tingersoft@gmail.com. -
13
Compiere MFG+SCM Manufacturing Extended System (MES). Include Shop Floor Control, Supply chain management, Quality management, modbus interface, iReport barcode extension etc. Support batch and on demand manufacturing. Works alone or connected to ERP.
-
14
ipmems
Real-time data acquisition and visualization software
Cross-platform data acquisition and visualization software with an embedded HTTP-server, binary protocol parsing library, protocol emulation server, remote secure administration server, embedded Groovy scripting facilities and HMI (SCADA) visualization module. -
15
Ocean Sync
Hadoop Management System
OceanSync is an Hadoop Management System that allows users to control a variety of aspects of Hadoop. This includes a Graphical User Interface that allows a user to perform HDFS maintenance tasks and submit new jobs to the cluster. The OceanSync product sits on top of any Hadoop Architecture. -
16
XDAQ is a software platform designed specifically for the development of distributed data acquisition systems. The development is carried out at CERN, the European Organization for Nuclear Research. Please visit http://xdaq.web.cern.ch
-
17
ECL is a system-level specification language for HW/SW designs and is based on Esterel and C. The ECL compiler parses ECL, writes Esterel and C, and uses the Esterel compiler to produce an implementation. Originally developed at Cadence Berkeley Labs.
-
18
GamesCrafters is an undergraduate research group at the University of California, Berkeley. GAMESMAN is our software for building text & X11 apps for finite, 2-person abstract perfect-information games (e.g., TicTacToe & chess). We've authored 40+ games
-
19
CANSARP is the Canadian Search and Rescue Planning software application. CANSARP is essentially a simulation tool which determines the search area, coupled with a decision support system to assist the Maritime SAR Coordinator in planning a search.
-
20
Now part of Apache's Mahout machine learning project at http://mahout.apache.org/-- please see there for latest info and code and releases and support!
-
21
The Rossum Project is an attempt to collect and distribute robotics software. We are seeking help with our first project, a mobile-robot simulator featuring a 2-D virtual world, and new work including artificial intelligence and robot-control logic.
-
22
The Multimedia Integrated Modeling System framework is a software infrastructure for composing, executing, and evaluating diverse numerical models of the environment. In this context, "multimedia" means multiple physical media, such as air and water.
-
23
The Flow Cytometry Laboratory Information Management System (FlowLIMS) is a web-based software system that gives users the ability to create and manage experiment protocols for the DiVa and FACScan flow cytometers
-
24
The SESAME (Simulation of Embedded System Architectures for Multilevel Exploration) software system is an embedded system co-simulation environment and research tool which implements the ideas of the SESAME project at the University of Amsterdam.
-
25
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