A model-based flight software framework for Ada
- ada
- ada-spark
- adamant
- flight-software
Repository Index
47,133 repositories indexed
313–336 of 403 · Most stars
Type-safe functions for common Go slice operations
- golang
- go
- slices
- slice-tricks
Type-safe library for building parallel applications, built on top of Async's Rpc module.
Cicili: Safe Modern C Solution. The C language in S-expressions — Lisp macros with type inference as C's build system: generics, RAII, refcounting and pattern matching with zero runtime and no GC.
Fluent builders with typesafe API for the JCA
- java
- jca
- fluent
- builder-pattern
Null Types, Safe primitive type conversion and fetching value from complex structures.
- go
- golang
- golang-library
- types
Fully typesafe, Rust-like Result and Option types for Python
- python3
- rust
- result-type
- rust-option
A variant of READ secure against internbombing, excessive input and macro characters.
A custom stretchable header view for UIScrollView or any its subclasses with UIActivityIndicatorView and iPhone X safe area support for content reloading. Built for iOS 10 and later.
Bithoven is a smart contract language for composing powerful and secure instruments on Bitcoin. LR(1) parser with static analysis for compile-time safety. Formal verification paper: https://arxiv.org/abs/2601.01436
Relational database access made simpler and safer
- open-source
- accessing-databases
- java
- sql
An Fast, Intuitive and Type-Safe C++ Enumeration Support Library
- cpp
- cpp20
- cpp23
- enum
🍜 Parametrized JSON logging library in Golang which lets you obfuscate sensitive data and marshal any kind of content.
- golang-library
- golang
- golang-tool
- logging-library
The type-safe REST library for .NET Standard 2.0 (NetCoreStack Flying Proxy)
🕛 Zero-overhead Fennel JIT compiler at runtime of Neovim with safety rollbacks
- fennel
- neovim
- nvim
- nvim-plugin
Safe access to production databases
- acl
- database
- database-access
- database-security
A type-safe PocketBase query builder
A tool designed for consistent and safe capture of off network web resources.
- network-defense
- security-tools
An API wrapper for Roblox, written in Typescript. Fully typesafe, optional caching, use any http client.
- roblox
- roblox-api
- roblox-api-wrapper
- roblox-apis
A tiny TypeScript library for handling side effects in a unified way using algebraic effects, offering a type-safe approach for async operations, error handling, dependency injection, and more.
- algebraic-effects
- side-effect
- side-effects
- typesafe
The Scenario Architect provides a lightweight graphical user interface that allows a straightforward realization and manipulation of concrete driving testing scenarios. Exemplary usecases are the validation of an online verification framework or training of an prediction algorithm.
- safety
- scenario
The production agent framework for Go — type-safe agents, structured output, multi-provider streaming, guardrails, and multi-agent orchestration with zero core dependencies.
Columnated lists for the CLI. Unicode and ANSI safe.
Port listener / honeypot in Rust with protocol guessing and safe string display