Search Results for "simpl"
Sort By:
Showing 10 open source projects for "simpl"
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.
-
MyQ Print Management SoftwareBoost your digital or traditional workplace with MyQ’s secure print and scan solutions that respect your time and help you focus on what you do best.
-
1
Sublime Text Crestron Plugin
Develop Crestron Simpl+ modules in Sublime Text.
This plugin adds syntax highlighting, color schemes, and build support for the Crestron Simpl+ programming language to the Sublime Text editor. This is also a great option for control system programmers who are looking to use one editor for multiple languages. -
2
Simpl is an open source library for sinusoidal modelling written in the Python programming language and making use of SciPy.
-
3
Vim Crestron IDE
Turn gVim into a Crestron SIMPL+ IDE.
-
4
Send/Receive/Reply messaging, popularized in commericial RTOS's such as QNX, is intuitive and simple to understand and an immensely powerful way of designing distributed software applications. This project aims to bring these tools to Linux.
-
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.
-
5
dasm430
A disassembler and a simulator for the MSP430 CPU
A disassembler and a simulator for the MSP430 CPU. Both programs only read TI-TXT files. Licensed under the Simple Public License (SimPL) 2.0. For full license information, please read license.txt. Compiled executables are available for Windows and Mac OS X. Linux users will have to compile their own binaries. Instructions for compilation are included in README.txt. A Qt-based GUI is available for sim430. Binaries only for OS X, for now. Source files can be found in src/qt folder. -
6
The Authen::Krb5::Simple Perl module provides a means to authenticate a user/password using Kerberose 5.
-
7
-
8
-
9
RAVER Rows is a proyect for a suite of php classes to provide cross-database access and multiple tools for common editing data such as field class, recordset class, browse class (including new, edit and delete methods), combo class, database class, simpl
-
AI-generated apps that pass security reviewRetool lets you generate dashboards, admin panels, and workflows directly on your data. Type something like “Build me a revenue dashboard on my Stripe data” and get a working app with security, permissions, and compliance built in from day one. Whether on our cloud or self-hosted, create the internal software your team needs without compromising enterprise standards or control.
-
10
Kammerjäger
Kammerjäger is a debugging tool with integrated correctness proving.
Kammerjäger is a debugging and testing tool that enables you to prove the correctness of your code. In our C like programming language named "SimPL" you can easily and simply annotate your code with preconditions and assertions (also with forall and exists expressions). We then use Microsofts Z3 theorem prover to prove if the behaviour of your program matches what you expected. The easy to use GUI with an integrated Interpreter and Debugger (with a Stackview and HotCodeReplacement) makes it even easier to write your code and find errors. ...
- Previous
- You're on page 1
- Next
