Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
47,133 repositories indexed
1,513–1,536 of 3,081 · Most stars
Generator of runtime monitors for flight and robotics applications.
Simple declarative bindings for Ant Design and Formik.
A set of high-quality standards based web components for enterprise web applications. Part of Vaadin 20+
Open-source design agent: on-brand stills, decks, diagrams, charts and motion graphics from a chat thread, built on Deep Agents.
🎯 A comprehensive gradient-free optimization framework written in Python
Graph data structure in JavaScript
A library of metrics for evaluating recommender systems
Rendering algorithms implemented in raw WebGL 2.
Language model search engine built on a vector database and an anything key/value store.
Java 8 annotation processor and framework for deriving algebraic data types constructors, pattern-matching, folds, optics and typeclasses.
Presentation layer: Xamarin Forms custom components and renderers
Object detection system using deformable part models (DPMs) and latent SVM (voc-release5). You may want to use the latest tarball on my website. The github code may include code changes that have not been tested as thoroughly and will not necessarily reproduce the results on the website.
All-in-One Backend as a Service with Headless CMS Power
A tidy API for graph manipulation
Exceptionless clients for the .NET platform
Ecto extension to support enums in models
ASP.NET Core Blazor Content Management System (CMS)
Nimfa: Nonnegative matrix factorization in Python
AI Plugin is a powerful extension for the Payload CMS, integrating advanced AI capabilities to enhance content creation and management.
Music Structure Analysis Framework
Pure Ruby gem that implements the MQTT protocol, a lightweight protocol for publish/subscribe messaging.
Easy C# API for Distributed Background Tasks/Jobs for .NET Core.
Fast In-Memory Data Compression Algorithm (header-only C/C++) 540+MB/s compress, 3000+MB/s decompress, ratio% better than LZ4, Snappy, and Zstd@--1
A flutter package for building card based forms.