Search Results for "mac runtime"
Sort By:
Showing 60 open source projects for "mac runtime"
View related business solutions-
MongoDB Atlas runs apps anywhereMongoDB Atlas gives you the freedom to build and run modern applications anywhere—across AWS, Azure, and Google Cloud. With global availability in over 115 regions, Atlas lets you deploy close to your users, meet compliance needs, and scale with confidence across any geography.
-
AI-powered service management for IT and enterprise teamsGive your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
-
1
CUDA-Q
C++ and Python support for the CUDA Quantum programming model
CUDA-Q is an open-source platform for developing hybrid quantum-classical applications using a unified programming model across CPUs, GPUs, and quantum processing units. It provides a full toolchain that includes compilers, runtimes, and libraries for writing quantum programs in both C++ and Python. The platform is designed to be hardware-agnostic, allowing developers to run applications on different quantum backends or simulate them efficiently using GPU acceleration when physical quantum... -
2
Arduino core support for STM32
STM32 core support for Arduino
This repo adds the support of STM32 MCU in Arduino IDE. This porting is based on STM32Cube MCU Packages including the HAL hardware abstraction layer, enabling portability between different STM32 devices via standardized API calls. The Low-Layer (LL) APIs, a lightweight, optimized, expert-oriented set of APIs designed for both performance and runtime efficiency. CMSIS device definition for STM32. Arduino.cc IDE allows to add easily new board thanks the "Boards Managers". More information... -
3
Qiskit
Qiskit is an open-source SDK for working with quantum computers
Qiskit [kiss-kit] is an open-source SDK for working with quantum computers at the level of pulses, circuits, and application modules. When you are looking to start Qiskit, you have two options. You can start Qiskit locally, which is much more secure and private, or you get started with Jupyter Notebooks hosted in IBM Quantum Lab. Qiskit includes a comprehensive set of quantum gates and a variety of pre-built circuits so users at all levels can use Qiskit for research and application... -
4
Laravel Translation Manager
Manage Laravel translation files
Laravel Translation Manager is a package that adds a web-based UI and database-backed workflow for managing Laravel translation files. Instead of replacing Laravel’s built-in translation system, it imports your lang PHP/JSON files into a database so you can view, search, and edit keys and values from a browser. Once translations are updated, you can export them back to flat files so your app continues to use the standard Laravel translation loader. This workflow is especially helpful when... -
Gemini 3 and 200+ AI Models on One PlatformBuild generative AI apps with Vertex AI. Switch between models without switching platforms.
-
5
bidict
The bidirectional mapping library for Python
Depended on by Google, Venmo, CERN, Baidu, Tencent, and teams across the world since 2009. Familiar, Pythonic APIs that are carefully designed for safety, simplicity, flexibility, and ergonomics. Lightweight, with no runtime dependencies outside Python's standard library. Implemented in concise, well-factored, fully type-hinted Python code that is optimized for running efficiently as well as for long-term maintenance and stability. Extensively documented. 100% test coverage running... -
6
rw
rw calculates rank-width and rank-decompositions.
rw calculates rank-width and rank-decompositions. It is based on ideas from "Computing rank-width exactly" by Sang-il Oum, "Sopra una formula numerica" by Ernesto Pascal, "Generation of a Vector from the Lexicographical Index" by B.P. Buckles and M. Lybanon and "Fast additions on masked integers" by Michael D. Adams and David S. Wise. On 2009's computers it works quite well up to graph sizes of about 28 nodes. Runtime and memory usage are exponential in the graph size. -
7
Scalytics Open Intelligence - OSINT
Open OSINT stack for monitoring, analysis, and risk detection
EUOSINT is the open-source edition of the OSINT pipeline built by Scalytics for real-world intelligence monitoring, situation analysis, and risk detection. It is not a toy dashboard or a loose script bundle. It is a packaged operational stack with a web interface, a Go-based collector runtime, configurable ingestion and refresh cadence, Docker-first deployment, and local or server installation options. The public release removes non-public and protected integrations while preserving the... -
8
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... -
9
utility-types
Utility types, complementing TypeScript built-in mapped types
Providing a set of Common Types for TypeScript projects that are idiomatic and complementary to existing TypeScript Mapped Types so you don't need to copy them between the projects. Providing a set of Additional Types compatible with Flow's Utility Types to allow much easier migration to TypeScript. Quality, thoroughly tested for type correctness with type-testing library dts-jest. Utility-Types is an open-source project created by people investing their time for the benefit of our... -
Full-stack observability with actually useful AI | Grafana CloudBuilt on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
-
10
JGPSTrackEdit
GPS track editor for editing tracks and planning (multiple) day tours
JGPSTrackEdit is a tool for editing gps tracks and planning (multiple days) tours (GPS track editor). An abritary number of tracks may be opened or created, tracks may be merged. A track may be splitted, reversed or edited (e.g. compressed and corrected). Points may be inserted or appended to a track (routing supported) or may be moved or deleted from a track. Maps of several providers are available, the default map is OpenStreetMap. Currently supported track formats: Garmin gpx... -
11
MeaProcess
Measurement and Automation Framework + Tool
MeaProcess is a simple and graphical based Measurement and Automation framework and Tool. Support programming with IEC 6-1131.3 ST. Runtime available for Windows, embedded RT-Linux and other realtime OS. -
12
GatcomSUMO
Automates the building of VANET simulations using SUMO and OMNeT++
GatcomSUMO is a multi-platform application that facilitates the building of VANET simulations using the SUMO traffic simulator and the OMNeT++ network simulator. The tasks related to the generation of abstract or synthetic scenarios, the download and conversion of network scenarios based on real maps (e.g. from OpenStreetMap), the route creation process, and the vehicles mobility modelling are integrated in a user-friendly graphical interface. This tool performs the necessary actions by... -
13
PLEXIL (plan execution software)
Plan execution language and executive
NOTE: Since 2022 this hosting of PLEXIL is deprecated. PLEXIL has moved to GitHub at https://github.com/plexil-group/plexil. Documentation is found at https://plexil-group.github.io/plexil_docs. Please use these new locations. PLEXIL is a plan execution language and technology developed by NASA and used in automation and autonomy applications at NASA and in the public sector. This software includes compilers for the language, the executive (runtime environment), and related tools.... -
14
BitMagic Library
Compressed bit-sets, sparse bit matrices and algorithms
BitMagic - C and C++ library implementing dynamic bitvectors and bit-set algorithms with several types of on-the-fly, adaptive compression. Designed for use in databases, search systems, data-mining algorithms, scientific projects. The core of the library is C++, but it provides C-compatibility wrappers and can be compiled without C++ runtime. Optimizations for Intel SSE2, SSE4.2 and AVX2. -
15
Java Marine API
NMEA 0183 library for Java
Java Marine API is an NMEA 0183 library for Java. For furher info and latest source code, see project's Github pages. http://github.com/ktuukkan/marine-api/ -
16
NASA T0TEM
Calculate ASTM E1921 master curve and transition temperature.
T0 Test Evaluation Module (T0TEM) V1.5 calculates the ASTM E1921-19b master curve and T0 temperature for ferritic steels in the ductile-brittle transition region. It creates all required plots for the basic master curve and the inhomogeneity annex. Output is delivered via table or CSV and plots exported as picture files. The program is coded in MATLAB 2021a using App Designer. Use of T0TEM V1.5 is possible without a MATLAB license by utilizing the free MATLAB Runtime Version 9.10. This... -
17
misc genomics tools
Various scripts used in sequencing, annotation and RNAseq analysis
This is a collection of various programs developed in the course of a genomics project, involving the Pseudomonas strain NCIMB10586 These include * identifying and correcting errors in an (eg) pacbio genome sequence using illumina reads * prokaryotic sequence/genome annotation * RNAseq analysis - normalisation and collation of multiple samples as a group * RNAseq visualisation All scripts are provided on a 'best efforts' basis, however due to various system changes I do not... -
18
lnlc
lnlc calculates linear nlc-width and corresponding expressions
lnlc calculates linear nlc-width and corresponding linear nlc-width expressions. On 2014's computers it works quite well up to graph sizes of about 10 nodes of linear nlc-width 3. The runtime depends on the size of the input graph, its linear nlc-width, and the number of nodes of high degree. The archive also contains the widths and corresponding expressions for the trees of up to 12 nodes. -
19
AdaAutoDiff
C++ Templates and Ada Package for Automatic Differentiation
Operators are overloaded so that a normal looking function definition provides access to not only evaluations of itself, but to evaluations of any of its analytic derivatives. Automatic differentiation means the user does not need to define the analytic expressions for all the various partial derivatives. It also means that those complex expressions are essentially calculated at compile time, and merely evaluated at runtime. First order derivatives only, forward... -
20
coarrays
A free Fortran 2008, 2018 coarrays course with notes and exercises
Coarrays are native Fortran means for SPMD parallel programming. At runtime multiple copies of the executable (called images) are executing asynchronously. The F2008 standard provides coarray syntax, remote calls, coarray data objects, allocatable coarrays, syncronisation, atomics, etc. F2018 adds new functionality, e.g. collectives, teams, events, more atomics. Coarrays are used extensively in CASUP library for HPC (https://cgpack.sourceforge.io). The course is aimed at experienced... -
21
AirMapView
A view abstraction to provide a map user interface
AirMapView is a view abstraction that enables interactive maps for devices with and without Google Play Services. It is built to support multiple native map providers including Google Maps V2 and soon Amazon Maps V2. If a device does not have any supported native map provider, AirMapView will fallback to a web-based map provider (currently Google Maps). Easy to integrate, it is a drop-in replacement for the Google Maps V2 package. AirMapView's original author is Nick Adams. With AirMapView,... -
22
haikuVM
A Java VM for ARDUINO and other micros using the leJOS runtime.
HaikuVM has been started for hobbyists who develop applications for ARDUINO to open the world of JAVA and leJOS. Yes, you can program an ARDUINO with JAVA! HaikuVM is so small that it even runs on an atmega8 (and the ASURO robot). And yes, you can program an ASURO robot with JAVA! And since version 1.4.0 the RCX lego brick. -
23
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... -
24
A collection of tools that can be used to generate monitors ("watchdogs") from LTL formulae. This is known from the area of runtime verification. For more information, see the associated project homepage.
-
25
Accent Tool Suite
Accent interfaces and controls systems through goals and policies
Accent (Advanced Component Control Enhancing Network Technologies) is a comprehensive tool suite that interfaces a variety of communications systems and allows these systems to be controlled through goals (high-level user aims) and policies (lower-level system rules). Accent has been applied to the domains of: o Call Control: for telecommunications, particularly call control in Internet telephony o Home Care: for home automation and telecare, particularly for domestic appliances...
