Generator of runtime monitors for flight and robotics applications.
- assurance
- autonomy
- cfs
- embedded-systems
Repository Index
47,133 repositories indexed
5,737–5,760 of 12,340 · Most stars
[CVPR 2025] Video Narration as Vocabulary & Video as Long Document
- chatgpt
- langchain
- video-language
- large-language-model
Date picker dialog for iOS
- ios
- swift
- date
- hacktoberfest
Webbased Amateur Radio Logging Software - Log your contacts from everywhere!
- adif
- analytics
- clublog
- eqsl
Use vim and godot engine to make games
🔥 Big vector pack with hand-drawn doodles for presentations, social media, blog posts and so on
- doodle
- doodles
- vector
- svg
Nix dependency pinning. Very similar to Niv but has a few features that I personally wanted.
MCP gateway & OAuth MCP servers. LangGraph agent: memory, eval/tracking, PII guard, context trimming. Docker quick start for enterprise agents.
- agentic-ai
- ai-agents
- context-engineering
- enterprise-ai
curated list of awesome tools, tutorials and APIs for Copernicus Sentinel satellite data
easier than regex string matching patterns for urls and other strings. turn strings into data or data into strings.
Free, world-class retrospectives
- elixir
- phoenix-framework
- phoenix-channels
- reactjs
OpenSOC Apache Hadoop Code
TranslatedDSHBox — Run DeepSeek Harness locally on mobile. Comes with built-in tools such as a terminal, file manager, browser, and phone control, aiming to build a one-stop portable AI workbench, with no need for ROOT or Termux.
- deepseek-harness
- dsh
- dsh-android
- android-agent
QKeras: a quantization deep learning library for Tensorflow Keras
- deep-learning
- quantization
- quantized-neural-networks
- hardware-acceleration
Linker/Compiler/Tool detector for Windows, Linux and MacOS.
- detect
- reverse-engineering
- signature
- malware-analysis
:white_check_mark: .NET crypto done right. Professionally audited.
- crypto
- cryptography
- c-sharp
- aead
A view that allows to paint and saves the result as a bitmap
iOS routing done right. Handles both URL recognition and controller displaying with parsed parameters. All in one line, controller stack preserved automatically!
Free, portable and lightweight Internet Relay Chat server
a delightful and customizable mostly monochrome colorscheme thats soft on the eyes and supports treesitter, lsp, and heaps of neovim plugins.
- alacritty-theme
- colorscheme
- eza
- fish-theme
🎯 A comprehensive gradient-free optimization framework written in Python
- metaheuristics
- optimization
- optimization-algorithms
- python
Mono/.NET bindings for Qt
- qt
- mono
- csharp
- dotnet
:musical_note: strongly-timed musical programming language
- language
- composition
- programming-language
- synthesis
C# .NET NOSQL ( key value, object store embedded TextSearch SemanticSearch Vector layer ) ACID multi-paradigm database management system.