Search Results for "contract bridge on linux"

sdk-js is a JavaScript and TypeScript SDK for building Astrid capsules. It gives developers a way to create capsule binaries that match the same WIT contract, WASI P2 Component Model output, and archive format used by the Rust SDK. The project is designed so the Astrid runtime can treat capsules the same regardless of whether they were built in JavaScript, TypeScript, or Rust. Its developer experience is shaped around familiar JavaScript patterns such as Node-style file APIs, WHATWG...

zero-native is a Zig-based native app shell for building desktop and mobile applications with web user interfaces. It lets developers use modern frontend frameworks while keeping the native layer small, fast, and close to the operating system. The project supports lightweight system WebView rendering for smaller binaries, while also offering Chromium through CEF when predictable rendering is more important. Its Zig foundation enables fast native rebuilds and direct access to platform SDKs,...

...By leveraging the operating system’s native WebView instead of bundling a full browser, Tauri produces significantly smaller and more efficient application binaries. The framework supports multiple front-end frameworks such as React, Vue, Svelte, and others that compile to web technologies. Tauri provides a secure bridge between the frontend and the Rust backend, enabling native functionality while maintaining strong security practices. With cross-platform support, developers can build applications that run on Windows, macOS, Linux, Android, and iOS.

...Porting Electron to .NET is not a goal of this project, at least we don't have any clue how to do it. We just combine ASP.NET Core & Electron. The current Electron.NET CLI builds Windows/macOS/Linux binaries. Our API uses .NET 5, so our minimum base OS is the same as .NET 5.

AICTX helps Codex, Claude, GitHub Copilot and other coding agents continue work across sessions by preserving the last useful execution state: active work, next actions, decisions, failures, validation evidence and repo context. The continuity idea is not to add more hidden memory or dump more context into the prompt. AICTX keeps operational continuity inside the repo: - active Work State and next action; - execution summaries and handoffs; - explicit decisions; - known failures and...

JxMake is a Java-based, cross-platform build system primarily inspired by the syntax and features of GNU Make, Perforce Jam, and CMake. In addition, JxMake provides several capabilities not typically found in other console-based build systems, including a built-in lightweight GUI, serial console, serial plotter, multi-MCU in-system programmer, and more. Currently, JxMake's loadable libraries (build scripts) are primarily designed for non-OS MCU systems and experimental use. Full...

PHP-JRU (PHP Jasper Report Utils) Es una librería que permite generar reportes usando la tecnología JasperReport en PHP mediante el modulo Java/Bridge.

cfortran.h is an easy-to-use powerful bridge between C and FORTRAN. It provides a transparent, machine independent interface between C and FORTRAN routines and global data.

Scenery Manager provides a pratical way to build and test templates (jsp, velocity...). At same time, you define a solid contract between the interface (template) and the services (servlet) teams. It can be very useful on requirements closure, prototype

XML Bridge Next Generation (XBridgeNG) is an item/ ticket data exchange format along with an execution runtime based on Apache Ant. It allows you to set up integrations between various tools like Serena TeamTrack, HP QualityCenter, Perforce and many more

idevb is an interplatform development bridge which allows you to develop(compiling/debugging/etc.) softwares for any kinds of platforms on any platforms you prefer.

DAO generator. Objects are generated from most native description of relational data - SQL commands. Generator result is completely generated bridge Object - Relational database with connection pool, DAO factory, SQL dialects etc.

ContractChecker is a small tool to provide support for some design by contract features to standard Java code. Internally, it is composed of an Ant task, which invokes a doclet to generate AspectJ and the AjcTask itself in order to compile it.

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.

The project aims to the development of tools to increase the usability of the iContract tool, which provides Design By Contract in Java