Search Results for "safety"
Sort By:
Showing 32 open source projects for "safety"
View related business solutions-
Fully Managed MySQL, PostgreSQL, and SQL ServerCloud SQL handles your database ops end to end, so you can focus on your app.
-
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.
-
1
J2CL
Java to Closure JavaScript transpiler
J2CL is a lightweight transpiler developed by Google that converts Java source code into highly optimized JavaScript designed to work seamlessly with the Closure Compiler. It allows developers to write applications in Java while targeting web environments, enabling strong type safety and code reuse across platforms. Unlike monolithic frameworks, J2CL focuses purely on transpilation, leaving optimization, bundling, and runtime concerns to the broader toolchain, which provides flexibility in modern development workflows. The generated JavaScript is fully type-safe and can be aggressively optimized by the Closure Compiler to reduce code size and improve performance. ... -
2
From Java To Kotlin
Your Cheat Sheet For Java To Kotlin
From Java to Kotlin is a practical guide for Android developers transitioning existing codebases and habits from Java to idiomatic Kotlin. Rather than simply showing syntax translations, it emphasizes Kotlin’s expressive features—null safety, extensions, data classes, sealed hierarchies, and higher-order functions—and how to apply them sensibly. Examples illustrate side-by-side Java and Kotlin snippets, revealing opportunities to reduce boilerplate and improve readability. The guide includes best practices for coroutine usage, collection operations, and scoping functions that make asynchronous and functional patterns feel natural. ... -
3
jimmer
A revolutionary ORM framework for both java and kotlin.
...Brings dynamism into static language ORM frameworks, achieving flexible capabilities for operating on complex dynamic data structures without compromising the complete compile-time safety checks of static languages, eliminating DTO explosion and unafraid of engineering expansion and changing requirements. Its innovative SQL DSL supports dynamic table joins and native SQL embedding, gracefully handling real-world complexity. Focuses on business and reaping caching gains. CDC solutions decoupled from specific caching technologies are transparent to business code. ... -
4
X's Recommendation Algorithm
Source code for the X Recommendation Algorithm
...Written primarily in Scala, it shows the architecture of large-scale recommendation systems, including candidate sourcing, ranking, and heuristics. While certain components (such as safety layers, spam detection, or private data) are excluded, the release provides valuable insights into the design of real-world machine learning–driven ranking systems. The project is intended as a reference for researchers, developers, and the public to study, experiment with, and better understand the mechanisms behind social media content. -
$300 Free Credits to Build on Google CloudPut your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
-
5
Chicory
Native JVM WebAssembly runtime
...The runtime loads WebAssembly binaries and exposes their functions as callable Java APIs, allowing seamless integration with existing Java codebases. Chicory emphasizes simplicity and safety, ensuring that execution remains sandboxed while maintaining compatibility with standard WebAssembly features. Its design eliminates the need for external system libraries, making deployment straightforward and consistent across platforms. The project also supports integration into frameworks and build systems, enabling developers to embed Wasm-based functionality into larger applications. -
6
RxJava
Reactive Extensions for the JVM
...RxJava works by extending the observer pattern in order to support sequences of data/events. It also allows you to compose sequences together declaratively through added operators, all while abstracting away concerns like low-level threading, thread-safety, concurrent data structures and synchronization. RxJava is commonly used for running simple background computations. It supports Java 6 or higher and languages that are based on JVM such as JRuby, Groovy and Clojure. -
7
Pkl
A configuration as code language with rich validation and tooling
...Configurations in Pkl are type-safe and support validation constraints (e.g. bounds, relations) so many errors can be caught before deployment. The language is embeddable, meaning it can run inside applications (Java, Swift, Go, etc.) to load configuration dynamically with the same safety guarantees. There’s also code generation support: writing Pkl modules can generate matching classes or data structures in target languages (Swift, Go, Java, Kotlin) so runtime config and statically typed code stay in sync. -
8
Micronaut Data
Ahead of Time Data Repositories
Micronaut Data is a database access toolkit that uses Ahead of Time (AoT) compilation to pre-compute queries for repository interfaces that are then executed by a thin, lightweight runtime layer. Both GORM and Spring Data maintain a runtime meta-model that uses reflection to model relationships between entities. This model consumes significant memory and memory requirements grow as your application size grows. The problem is worse when combined with Hibernate which maintains its own... -
9
The Ballerina programming language
The Ballerina Programming Language
...Structural types with support for openness are used both for static typing within a program and for describing service interfaces. Type-safe, declarative processing of JSON, XML, and tabular data with language-integrated queries. Explicit error handling, static types, and concurrency safety, combined with a familiar, readable syntax make programs reliable and maintainable. Easy and efficient concurrency with sequence diagrams and language-managed threads without the complexity of asynchronous functions. Programs have both a textual syntax and an equivalent graphical form based on sequence diagrams. -
Paessler: Easy to Use With Enterprise Power. Free TrialYou shouldn't have to choose between a monitoring tool that's easy to use and one that's powerful enough for a complex environment. PRTG's low-code interface lets any admin build dashboards, set alerts and monitor devices without scripting, while custom sensors and full API access are there when your team needs deeper control. One platform, no compromise. Download a free 30-day trial now.
-
10
RE2/J
linear time regular expression matching in Java
RE2/J is a high-performance regular expression engine implemented in pure Java as a port of Google’s C++ RE2 library. Unlike traditional regex engines such as Java’s java.util.regex, PCRE, or Perl’s implementation—which rely on backtracking and can suffer from catastrophic exponential runtimes—RE2/J guarantees linear-time matching relative to input size. It achieves this efficiency by simulating all possible matches in a single pass using a nondeterministic finite automaton (NFA), ensuring... -
11
Chronicle Queue
Micro second messaging that stores everything to disk
Micro second messaging that stores everything to disk. With millions of users worldwide, Chronicle Queue is a leading choice for organizations of all sizes seeking a low-latency, high-performance messaging framework. The Chronicle Queue Enterprise version eliminates compatibility issues and allows for the seamless integration and sharing of data between Java, Rust, Python, and C++ libraries. Chronicle Queue is available as a fully native Java, Rust or C++ library, and also supports a Python... -
12
JUtilClasses
Java programmer's aid in useful methods and classes
Util-Classes is a collection of Java classes for programming support in service for building applications. It covers a wide range of topics from simple small routines over Collection classes to larger utilities addressing IO-management, GUI topics and data safety. -
13
AL-IV
ALFOUR Programming language. Simple, safe, power, multi-platform.
A programming language AL-IV (ALFOUR) is a high-level imperative object oriented programming language with minimal introduction level, easy porting to any platform claiming a very high level of safety and stability, with a controllable level of code protection, high efficiency of an executable code, full independence from a target platform, minimal enter level. -
14
JVM Sandbox
Real-time non-invasive AOP framework container based on JVM
JVM sandbox container, a JVM non-invasive runtime AOP solution. Real-time non-invasive AOP framework container based on JVM. Dynamically enhance the class you specify, get the parameters and line information you want, and even change the method execution. JVM-SANDBOX (sandbox) implements an AOP solution that does not restart or invade the target JVM application. Static knitting occurs when the bytecode is generated, and the AOP bytecode is inserted into the target class and method in advance... -
15
Cyclops
An advanced platform for writing functional applications in Java 8
Fast purely functional datastructures (Vector, Seq / List, LazySeq / LazyList, NonEmptyList, HashSet, TreeSet, TrieSet, HashMap, LinkedMap, MultiMap, TreeMap, BankersQueue, LazyString, Discrete Interval Encoded Tree, Zipper, Range, Tree, DifferenceList, HList, Dependent Map). Structural Pattern Matching API (deconstruct algebraic product and sum types). Improved type safety via the removal of unsafe APIs -- E.g. Unlike Optional, Option has no get method (which could throw a null pointer) -- New data structures do not support operations that would throw exceptions (you can't call head on an empty list for example). Eager and Lazy alternatives for most datastructures (Option is eager, Maybe is lazy + reactive). ... -
16
Unified Code Generation
Open-source code generator for Simulink/Stateflow
This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included. Some of the strengths of UCGN: - Clearly readable source-code - Separation of functionality and parameters ("tunable parameters") - Robust data storage (compile-time static structures in favor of pointer run-time constructs) - Clear software architecture, direct correspondence to the model architecture - Separation of reusable library code - Simplicity and uniformity of software interfaces (for testing etc.) ... -
17
autoCode4
Synthesizing embedded control software from formal specifications
...Importantly, it synthesizes synchronous dataflow controllers (in Lustre or in Ptolemy II form) and maintains requirement-to-code traceability. Such feature is mandated in developing safety-critical systems and are considered essential for specification validation or integrating manual implementation such as legacy code. The LTL specification captures the desired behavior of a controller where the environment takes the first move (i.e., sense/input then react/output), so the synthesized controller can be viewed as a Mealy machine. ... -
18
csmake
Cloud Service Make.
To make the native application to support cloud service, csmake will genarate a client stub and the service application, it's similar with the webservice, COBAR, omniORB, SOAP, gsoap etc. -
19
AndroidEventBus
Library for android, simplifies communication between services
...The library aims to simplify common inter-component messaging tasks (like posting a login success event or notifying multiple listeners of state changes) while preserving type safety and performance. -
20
sqlcomments
SQL comments for Java
SQLComments is a Java library using native SQL statements without loosing type safety. Database-first approach is real. -
21
zombie speed limit logger
Android app lets you log speed limit signs when you drive past them.
...No network means no-voice-recognition, no-google-maps, no-querying wikispeedia on the fly. Yes, WIFI can be used to SYNC, but only when the driver has parked his car. 2. Safety. No ads. Big text. Simple use. It should be as safe to use as a GARMIN. This product will be incorporated into other products such as existing Boy/Cub/Girl Scout apps. -
22
NPEDetector
Null dereference verifier for Java Programs
NPEDetector is a tool for statically detecting the dereferences in Java programs that are safe and those that could potentially result in NullPointerException. Designed to be a sound verifi er, NPEDetector guarantees the safety of proven dereferences but could imprecisely flag safe dereferences as faulty. NPEDetector is built using WALA, Watson Libraries For Analysis. -
23
This project brings the following disciplines together: - Functional Safety according ISO°26262 - Automotive SPICE - Project Management - Requirements engineering - Open Source The build a powerful database structure for handling large projects.
-
24
The SAVE-IDE is an integrated development environment for architectural and component-based design of embedded systems. Including a tool chain for analysis, verification and code generation, with focus on safety and real-time.
-
25
A generic finite state machine (FSM) API for the Java platform. The API enables creating a performing FSM at runtime and with type safety. Project also includes a non-blocking context scheduler for running FSMs over multiple contexts.
