Search Results for "pi" - Page 5
Sort By:
Showing 113 open source projects for "pi"
View related business solutions-
Build Agents and Models on One PlatformGemini Enterprise Agent Platform is Google Cloud's comprehensive platform for developers to build, scale, govern, and optimize agents and models. Choose from Google's most advanced models and third-party models like Anthropic's Claude Model Family.
-
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.
-
1
Scribble is a language for describing global (choreography) and local (service endpoint) behaviour. Extensible tools are provided, both standalone and as Eclipse plugins, to edit the language, perform validation and export to other appropriate notations.
-
2
A web page that allows you create templates for the display of your PI Server data. The page will examine your template for a connection string, tags and formating then render you a web page. Required: An ASP.NET webserver and OSISoft's OLEDB.
-
3
An occam 2.5 compiler written in C generating ETC (extended transputer code), with experimental additions to support occam-pi.
-
4
This project will provide tools that leverage Pi Calculus to build more robust Service implementations in Java, that can be verified against a global model description (as defined in the pi4soa project).
-
Cut Data Warehouse Costs by 54%BigQuery delivers 54% lower TCO with exabyte scale and flexible pricing. Free migration tools handle the SQL translation automatically.
-
5
This project proposes a tool for formal verification of web services composition based on Pi-calculus and the conversion between BPEL and pi-calculus. This tool integrates two kinds of formal verification techniques and can validate automatically.
-
6
PiCom is a distributed component architecture that relies on message passing. Components may be written in any language. Unlike most distributed architectures PiCom is based on a strong mathematical foundation: the pi calculus.
-
7
PI-Threads; A C++ threads object built upon Win32 Threads and POSIX pthreads which can be compiled on either Win32 compliant systems or POSIX compliant systems with pthread support.
-
8
JavaUniverse is proud to provide the "Pi" framework to the open source community. "Pi" is a web presentation and application framework based on Servlet/JSP technology and implements the MVC pattern. Pi is evolving into a full fledge J2EE framework.
-
9
-
Host LLMs in Production With On-Demand GPUsDeploy your model, get an endpoint, pay only for compute time. No GPU provisioning or infrastructure management required.
-
10
Pi-VisualR
Qt-based C++ GUI programming interface to R
VisualR is a (currently) Windows only C++ GUI programming interface to R. It allows creating full featured applications that complelely control R and serves as a GUI programming toolkit that can be controlled from inside R code. -
11
The Pi Markup Language (PiML) aims at providing an XML based representation format for the description of models encoded in the Pi Calculus. The XML representation of such Pi Calculus models should support model storage, exchange, and coupling.
-
12
PasRipherals
Piriféricos do RPI "Pascalmente" Acessíveis
O PasRipherals é uma biblioteca totalmente nova e original para manipular os periféricos do Raspberry Pi 3 a partir do Free Pascal. A meta desta biblioteca é ser tão simples e didática quanto possível, fornecendo suporte a apenas um dispositivo: Raspberry Pi 3 B (BCM2837). Isso não é uma desvantagem, pois esta biblioteca é de código aberto e pode ser livremente modificada segundo normas da GNU/GPLv2. O PasRipherals usa técnicas e algoritmos aprendidos a partir das seguintes bibliotecas e exemplos: * WiringPi (http://wiringpi.com) * BCM2835 (https://www.airspayce.com/mikem/bcm2835/) * RPI_HAL (https://github.com/rudiratlos/rpi-hal) * PiGPIO (https://abyz.me.uk/rpi/pigpio/index.html) A principal diferença é a abordagem orientada a objetos os quais tem um conjunto abrangente de métodos e propriedades. -
13
Control-Freak
Visual Automation & UI Authoring
...It comes with a visual block language and a visual GUI designer which lets you inter connect and automate all sorts of devices. It has built-in support for TCP, UDP, Serial, MQTT, SSH, Arduino/Raspberry-PI or access to your custom API via HTTP. Public Homepage: http://pearls-media.com/control-freak/ On Github: https://github.com/net-commander/windows-dist
