Search Results for "contract bridge on linux"
Sort By:
Showing 24 open source projects for "contract bridge on linux"
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.
-
Veeam Data Platform v13.1Try Veeam Data Platform today. Experience the unified platform that's secure by design, portable by default, and proven to recover clean, fast, and anywhere.
-
1
Solidity
The Smart Contract Programming Language
Solidity is a statically-typed curly-braces programming language designed for developing smart contracts that run on Ethereum. Solidity 0.8.4 adds custom structured errors, allows more flexible configuration of the SMTChecker and fixes a bug in the Solidity ABI decoder v2. Read more about the bug here. With v0.8.4, errors can be defined inside and outside of contracts (including interfaces and libraries). This provides a convenient and gas-efficient way to explain to users why an operation... -
2
Pushpin
Proxy server for adding push to your API
Pushpin is a proxy server that pins client connections open, making it easy to build real-time API endpoints. Pushpin supports HTTP streaming, HTTP long-polling, and WebSockets. For compatibility with older browsers, it can also translate from SockJS. Clients communicate using your API contract. Pushpin is a server-side implementation detail. An existing real-time API can be migrated to or away from Pushpin without breaking clients. Since Pushpin is a proxy server, the backend can be written... -
3
Android Runtime for NativeScript
NativeScript for Android using v8
Contains the source code for the NativeScript's Android Runtime. NativeScript is a framework that enables developers to write truly native mobile applications for Android and iOS using JavaScript and CSS. Each mobile platform has its own ecosystem and offers completely different development tools and language(s) - Java for Android and Objective C (Swift) for iOS. In order to translate JavaScript code to the corresponding native APIs some kind of proxy mechanism is needed. This is exactly... -
4
Nitro Modules
Insanely fast native C++, Swift or Kotlin modules
Nitro is a React Native native-module system for building very fast C++, Swift, and Kotlin modules with statically compiled bindings to JSI. It is designed to reduce runtime overhead by generating type converters ahead of time instead of relying on dynamic lookups. The project consists of the core react-native-nitro-modules library and the optional nitrogen code generator for module authors. Developers define interfaces in TypeScript and implement the native behavior in C++, Swift, Kotlin,... -
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.
-
5
Valdi
Cross-platform UI framework that delivers native performance
Valdi is a cross-platform UI framework built to deliver native runtime performance without giving up the fast iteration loop that teams want from higher-level frameworks. You write your UI once in declarative TypeScript (TSX-style components), and Valdi compiles those components directly into platform-native views for iOS, Android, and macOS, instead of relying on web views or a JavaScript bridge. Its design focuses heavily on performance characteristics that matter in real apps, like... -
6
Grassroots DICOM
Cross-platform DICOM implementation
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. -
7
RE/flex lexical analyzer generator
The regex-centric, fast lexical analyzer generator for C++
A C++ high-performance regex library and Flex-compatible lexical analyzer generator with full Unicode support, new indentation anchors, lazy quantifiers, and many other modern features. Accepts Flex lexer specification syntax and is compatible with Bison/Yacc parsers. Generates reusable source code that is easy to understand. Supports fast scanning of UTF-8/16/32 files, strings, and streams. The reflex scanner generator generates clean C++ lexer class code that is thread-safe. Generates... -
8
Nerd
Javascript's God Mode. No VM. No Bytecode
Nerd, commonly referred to as “nerd,” is an experimental programming language and toolchain that aims to compile JavaScript-like code directly into native binaries without relying on traditional virtual machines, bytecode interpretation, or garbage collection. Its design philosophy centers on eliminating runtime overhead by translating high-level scripting constructs into efficient, low-level native code that can run directly on hardware. This approach enables significantly improved... -
9
The FMI++ Library
A High-level Utility Package for FMI-based Software Development
The Functional Mock-up Interface (FMI) specification intentionally provides only the most essential and fundamental functionalities in the form of a C interface. On the one hand, this increases flexibility in use and portability to virtually any platform. On the other hand, such a low-level approach implies several prerequisites a simulation tool has to fulfill in order to be able to utilize such an FMI component. The FMI++ library addresses this problem for models and tools with... -
PRTG Catches Network Issues Before They Cause DowntimeReactive troubleshooting usually means hearing about a problem from frustrated users, not your monitoring tool. PRTG sets threshold-based alerts across devices, servers and applications, notifying your team by email, SMS or push the moment a metric crosses a set limit. That means catching a failing disk or overloaded server before it becomes an outage and getting time back from firefighting. Start a free trial and set your first alerts today.
-
10
ImatiSTL
Fix STL files for 3D printing
ImatiSTL is a C++ library for applications that need to finely post-process raw polygon meshes represented by STL files. It is particularly useful in 3D printing scenarios: the repairing functions provided by ImatiSTL bridge the gap between printable meshes and real-world meshes with diverse potential defects and flaws (e.g. degenerate triangles, self-intersections, surface holes, ...). ImatiSTL provides both functions for local mesh repairing and methods for global remeshing. Local... -
11
pyhrol
Bridge between C++ and Python
Dynamic C++ library for simplification of binding C++ projects to Python. Supports argument overloading. Automatically generates help on method signatures, including default values. Automatically generates list of named parameters. Supports primary Python protocols: Number, Sequence, Mapping, Iterator Protocol. Includes more than 40 code examples. CMake driven. Supports Python 2.x. Does not support Python 3.x (planned). Tested on Linux Ubuntu 13.X 32/64 with Python 2.7.X -
12
Contract++
Contract Programming Library for C++
**** THIS LIBRARY WAS MOVED INTO Boost **** New location: https://github.com/boostorg/contract C++ Contract Programming (a.k.a. Design by Contract or DbC). All Eiffel features supported: subcontracting, postcondition old and result values, optional contract compilation, customizable action on assertion failure, block invariants, loop variants, etc. Plus virtual specifiers, concept checking, named parameters. See: http://contractpp.sourceforge.net -
13
JNIAnotationBridge
Automatic c++ JAVA JNI code generator via annotations
Automatic c++ JAVA JNI code generator via annotations Supported: JNI header + source code with automatic cast to c++ bridge class Java String conversion to std::string Bridge c++ class to Java class -
14
The Data Structure & Algorithm Library (DSAL) is a library of classical data structure and algorithm.
-
15
CppCondite is a contract directed testing framework for C++. A formally specified "contract" (and a little human help) can be used to generate tests (similar to unit tests) verifying that a component implements the contract correctly.
-
16
A framework for Delayed Asserts and Design By Contract in C++. The framework is based on delaying the execution of asserts until specified points in time (i.e. exiting a function), achieving seperation of assert definition from validation. Implements full seperation of assert definition from validation, allowing for a contract clauses block at the beginning of each function that includes "ensure" checks on exiting the function. Currently supports most of the design by contract required...
-
17
-
18
VtkFLTK is a small library of C++ classes for development of FLTK event-driven interfaces for use with VTK. VtkFLTK attempts to transparently bridge disparities between FLTK and VTK event and windowing system handling.
-
19
A bridge to the Java virtual machine via JNI for Haskell (and perhaps later other functional lanaguages).
-
20
Tools for Palm OS developers on Mac OS X. Cocoa Palm Reporter logs traces emitted by the Palm OS Emulator. USB-TCP Bridge provides a socket that can be used to communicate with a Palm handheld over USB (for example, GDB).
-
21
The Design By Contract framework for C++ allows developers to design software that accomplish the specification requirements. Obscure bugs in software are shown quickly due to its precond, postcond, class/loop invariants and new/delete runtime analysis.
-
22
-
23
Whisper is C++ application framework for the Mac and Windows. Unlike most frameworks it takes advantage of the standard library, design by contract, and modern C++ idioms.
-
24
This project houses Perl's Tcl and Tcl::Tk bridge modules that allow you to take advantage of Tcl/Tk in Perl. For the Tcl/Tk developer areas, please see either the main "tcl" project, the "tktoolkit" project for Tk.
- Previous
- You're on page 1
- Next
