Search Results for "sharp"

Open tool platform for the cost effective rigorous development of dependable complex software systems services. This platform is based on the event-B formal method and provides natural support for refinement and mathematical proof.

A cross-platform, open-source, alternative to NIST REFPROP. Based on reference-accuracy equations of state and transport property correlations for refrigerants like Water, CO2, R134a, Nitrogen, Argon, Ammonia, Air, R404a, R410a, Propane and many others. A selection of secondary working fluid properties are also available. Can also make use of REFPROP when available. In addition, calculations for Humid Air Properties based on ASHRAE RP-1485 are provided. Wrappers are available for...

Grassroots DiCoM is a C++ library for DICOM medical files. It is accessible from Python, C#, Java and PHP. It supports RAW, JPEG, JPEG 2000, JPEG-LS, RLE and deflated transfer syntax. It comes with a super fast scanner implementation to quickly scan hundreds of DICOM files. It supports SCU network operations (C-ECHO, C-FIND, C-STORE, C-MOVE). PS 3.3 & 3.6 are distributed as XML files. It also provides PS 3.15 certificates and password based mecanism to anonymize and de-identify DICOM datasets.

gVirtualXRay is a C++ library to simulate X-ray imaging. It is based on the Beer-Lambert law to compute the absorption of light (i.e. photons) by 3D objects (here polygon meshes). It is implemented on the graphics processing unit (GPU) using the OpenGL Shading Language (GLSL). SimpleGVXR is a smaller library build on the top of gVirtualXRay. It provides wrappers to Python2, Python3, R, Ruby, Tcl, C#, Java, and GNU Octave.

We are now on GitHub: https://github.com/ScadaBR/ScadaBR ScadaBR is a SCADA (Supervisory Control and Data Acquisition) system with applications in Process Control and Automation, being developed and distributed using the open source model.

OpenDAFF is a free, open-source software package for directional audio data - like the directivity of microphones, speakers, as well as head-related transfer functions (HRTFs)

Limada (Linked Marked Data) is a framework for managing relationships of data in non-hierarchical structures, where the individual elements are interconnected in complex ways. The philosophy behind: Information is connection, is relationship of data.

For Homepage, Blog, Family Tree, Database, C#|hjt|js|chm Editor. Convert hjt2xml, (c#)cs2xml, chm2xml, js2xml, xml2cs, xml2js, xml2hjt, cs2hjt, hjt2cs, cs2chm, hjt2chm. IE/Opera/Firefox/PocketPC supported.

Program for downloading web source maps or local files maps for various programs or GPS devices. Terra Incognita™ main features: navigating through map by simple clicking generating OziExplorer, Kmz, JNX, GPSdash or TrekBuddy calibrated map file possibility to use many web map sources Google Maps™, Bing™, Open street map ... managing of waypoints or tracks saved in gpx and many other formats selected user defined map area for saving simplified and easy user...

The ProteoWizard Library is a set of software libraries and tools for rapid development of proteomics data analysis software. The libraries are cross-platform and built from the ground up using modern C++ techniques.

A quantitative finance C++ library for modeling, pricing, trading, and risk management in real-life. A cross-platform free/open-source tool for derivatives and financial engineering.

The math category theory software with diagram graphical user interface.

RTKLIB is an open source program package for standard and precise positioning with GNSS (global navigation satellite system). RTKLIB consists of a portable program library and several APs (application programs) utilizing the library. This port includes only a library (.so or .dll) for the C/C++ language and a .dll for C#/.NET Framework. RTKSharp is compatible with Windows and Linux using the .NET/Mono Assembly withoout the need of recompilation/cross-building.

The Systems Biology Results Markup Language is a language describing data. Unlike flat data formats, SBRML allows describing the origin of the data as well. This project hosts a library and tools for using SBRML.

The Open Modeling Interface and Environment (OpenMI) defines a standardized way to exchange data between computational models that run simultaneously. OpenMI aims to enhance process interaction representation in integrated environmental modelling.

Coming Soon - An open source implementation of DIS (Distributed Interactive Simulation) written for the Unity3D game engine.

TrailMap is a tile-based online and offline map viewer. Multiple map tile sources are supported by adapters. Currently supported features: - GPS positioning (on Android only) - Points-of-Interest from GPX and LMX files - OpenStreetMap maps - MML maps (covers only Finland) from https://tiedostopalvelu.maanmittauslaitos.fi/tp/kartta

Graficas 2D is an opensource library for plotting 2D functions. It's compatible with .NET Framework and Mono

This project hosts the 'Simulation Tool', an extensible, interactive environment for carrying out simulation experiments of SBML models. This project can use RoadRunner or SBW enabled simulators to carry out simulations.

math lib for .NET. n-dim arrays, complex numbers, linear algebra, FFT, sorting, cells- and logical arrays as well as 3D plotting classes help developing algorithms on every platform supporting .NET. Sources from SVN, binaries: http://ilnumerics.net

SolarBeam is a desktop application for drawing solar diagrams. You supply the geographical position, it draws a diagram showing the Sun's trajectory over your location at various times of the year. It also shows the times of sunrise and sunset.

Geoportal Server is a standards-based, open source product that enables discovery and use of geospatial resources including data and services.

An application written in C#, which will assist you in calculating your Body Mass Index.

MpcReader retrieves comet and asteroid orbital data in MPC format from the web and store it on your computer in different formats. The data is fetched from the MPC. The main job of MpcReader is to convert plain MPC data to the format needed for KStar

AMICI, the Assessment platform for Multiple Interdependent Critical Infrastructures, simplifies and boosts experimentation with cyber-physical systems. AMICI enables the real-time execution of physical process models developed in Matlab Simulink, in a way that they can interact with real cyber systems, e.g., ad-hoc software or even real malware. The simulated physical models may come from a wide range of domains, e.g., power generation, power transmission, railway transportation,...