Scout is a standalone open source software solution for DIY video security.
Repository Index
65,764 visible repositories in the index
1,609–1,632 of 1,762 · Most stars
The MongoDB Analyzer is a free tool that helps you understand how your code translates into the MongoDB Query API.
- c-sharp
- csharp
- dotnet
- linq
Google Distance Matrix API Library for Elixir
Elegant library to manage the interactions between view and model in Swift
- model
- view
- controller
- viper
Instanbul coverage reporting for projects being tested by web-component-tester
Adobe Air Native Extension for displaying adaptive and interactive toast notifications in Windows 8, 10 and OSX
- osx
- swift
- native-extension
- toast
GID (Generic Image Decoder): a standalone, portable generic Ada package for decoding images
- ada
- ada-language
- image-processing
- gif
Improve Open Assistant with ChatGPT.
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
Visual Studio for Mac add-in/extension for converting old PCLs to .NET Standard 2.0 targeting projects automatically.
- visual-studio-for-mac-extension
- dot-net
- dotnet-standard
- xamarin-forms
The repository host gives no description.
Coq library of arbitrarily large numbers, providing BigN, BigZ, BigQ that used to be part of the standard library [maintainers=@proux01,@erikmd]
- coq-plugin
- large-numbers
- coq
- docker-coq-action
My understanding of how to structure a golang project.
Ada PDF Writer: a standalone, portable package for producing dynamically PDF documents
- ada
- ada-language
- pdf-generation
Some playgrounds to better understand UIBezierPaths and how to use them.
MicroPython module which allows to create Entites for HomeAssistant using MQTT Discovery
AlgoNim, the first Algorand game
PolyORB provides a uniform solution to build distributed applications relying either on middleware standards
A terminal UI for Docker Swarm that makes cluster state easier to see, understand, and reason about.
Standard Ada library specification as defined in Reference Manual
operational issues about the Postpass instance run on postpass.geofabrik.de
A Coq library providing tactics to deal with hypothesis
- coq
- formal-proofs
- proof-assistant
- tactics
A GTFS-based data transit network data standard suitable for dynamic transit modeling.
The Embedded Web Server is designed for use in embedded systems with limited resources (eg, no disk). It supports both static (converted from a standard web tree, including graphics and Java class files) and dynamic pages. It is written in GCC Ada.