The MemCAD static analyzer
- abstract-interpretation
- static-analysis
- c
- shape-analysis
81,588 visible repositories in the index
23,929–23,952 of 26,282 · Most stars
The MemCAD static analyzer
Feature-rich Kotlin JVM based robotics library, primarily for use in the FIRST Robotics Competition.
Centralized and persistent live configs for seamless game tuning and balancing in GameMaker.
📑 GoodExtensions is a collection of useful and frequently used Swift extensions for iOS development, designed to simplify and streamline common tasks.It helps developers write clean and concise code, saving time and effort while boosting productivity. Get access to a wealth of essential tools for iOS development in one convenient library.
Generate a summarized description of a body of text
The Swagger Coverage Tool is designed to measure API test coverage based on Swagger documentation. It provides automated tracking and reporting of test coverage for APIs, helping ensure that your endpoints and services are well-tested.
MageForge is a Magento 2 module designed to assist frontend developers in streamlining their workflow and enhancing productivity.
A pure Crystal implementation of BlurHash algorithm
Sofie MOS Connection: A Part of the Sofie TV Studio Automation System
Implementation of the circuit breaker pattern in crystal
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
A set of core Algorand utilities written in TypeScript and released via npm that make it easier to build solutions on Algorand.
fork/continuation of http://jiggawatt.org/muzak/xpmck/ Release 32 with bugfixes and new features
A lightweight framework for writing unit tests for Roslyn diagnostic analyzers, code fixes, refactorings and completion providers.
Toolkit for supporting the EBU-TT Live specification
Pay is an Elixir Lib to deal with Paypal and other payment solutions.
Simple MacOS app to alert you when you have unread GitHub notifications
Open source player for Adobe Flash Media Server streams (RTMP)
The repository host gives no description.
Telephony will be a xplat library that provides email, sms, voice and video call functionality. Supports Xamarin.iOS, Xamarin.Android, Windows Phone 8/8.1 (Silverlight and WPA)
Agent Skills — agent-neutral autonomous product-building OS for 32+ AI coding tools. 23 skill categories · 28 agents · 149 reference docs · 37 platform variants. One-line prompts → deployed products on Cloudflare Workers.
A traceroute tools that displaying geolocation information using IP2Location database.
Simple way to auto load modules without complicate definition of routes
Interactive visualization of all transit in the Transitland database