Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
47,133 repositories indexed
961–984 of 2,013 · Most stars
Generator of runtime monitors for flight and robotics applications.
Trace-oriented debugging tools for Clojure
curated list of awesome tools, tutorials and APIs for Copernicus Sentinel satellite data
Interact with various interfaces on Steam Community from Node.js
AI-first external attack surface assessment with continuous discovery, evidence-based vulnerability validation, and developer-agent MCP integration.
Bind socket.io events to backbone models & collections. Also includes a drop-in replacement for Backbone.sync using socket.io.
Language model search engine built on a vector database and an anything key/value store.
The open source air traffic simulator
File synchronization on top of ipfs with git like interface & web based UI
Compact representation of a placeholder for an image. Encode a blurry image under 30 caracters for instant display like used by Medium.
Self-hosted music streaming server 🎶 with RESTful API and Web interface. Think of it as your very own Spotify! ☁️🎧
Urbanist is a low-contrast, geometric sans-serif inspired by Modernist design and typography.
Exceptionless clients for the .NET platform
Automon combines the power of AOP (AspectJ) with monitoring or logging tools you already use to declaratively trace and monitor your Java code, the JDK, and 3rd party libraries.
AWS IAM policy statement generator with a fluent interface, for TypeScript, JavaScript, Python, Java, C# and Go.
:atom: Social (OAuth1\OAuth2\OpenID\OpenIDConnect) sign with PHP :shipit:
A text-based user interface (TUI) for Ansible.
🗣 An overlay that gets your user’s voice permission and input as text in a customizable UI
Ionic Selectable is an Ionic versatile and highly customizable component that serves as a replacement to Ionic Select, and allows to search items, including async search, create items, customize the layout with templates and much more. It provides an intuitive API and is easy to set up and use.
Mirror of https://gitlab.com/xonotic/xonotic - Xonotic (superproject containing build scripts and tools to download other repositories and assets)
Official mirror for interface definitions and helper classes for Java code running on the AWS Lambda platform.
Emoji Keyboard for iOS
Provides an easy ruby DSL & interface to AWS SES
A faster drop in replacement for bin/magento cache:clean with file watcher