SPARK by Example is an adaptation of ACSL by Example for SPARK 2014, a programming language which is a formally verified subset of Ada
- formal-verification
- formal-methods
- formal-specification
- ada
Repository Index
47,133 repositories indexed
4,873–4,896 of 8,058 · Most stars
Enterprise-grade 2D graphics library for Go. Pure Go, zero CGO. Part of GoGPU ecosystem.
- 2d-graphics
- creative-coding
- drawing
- go
Trading environnement for RL agents, backtesting and training.
- trading
- backtesting
- reinforcement-learning-agent
- reinforcement-learning
Rust language bindings for Microsoft Playwright
- browser-automation
- playwright
- playwright-tests
- rust
TypeScript RPC (Remote Procedure Call) for WebSocket and Worker protocols
- grid-computing
- remote-function-call
- network
- thread
Native Windows port of inFAMOUS Second Son (PS4): custom runtime + Vulkan renderer derived from shadPS4. Bring your own game.
PHPCheckstyle is an open-source tool that helps PHP programmers adhere to certain coding conventions.
- php
- coding-conventions
- phpcheckstyle
- checkstyle
ember-cli addon adds validation support to your Ember-Data models.
- ember-addon
- emberjs
- validator
- ember-data
A VSCode Extensions that can download and launch Minecraft.
AltLoad is a tool that installs AltStore and SideStore completely on-device.
Native port of Skies of Arcadia Legends (GameCube) via static recompilation. Bring your own disc.
DeepWrite AI is Made with the Help of ChatGPT3 and Specific Model is Prepared for Generating Perfect Blog Post with atmost Clarity. This is Just the Version 1.0 More Improvement Will be Implemented.
Build autonomous AI agents that interact with blockchains — in minutes, not months.
Describe a mod or a structure and this terminal agent builds it in Minecraft: ghost preview before placing, one-step undo, datapacks that reload clean, survival materials list.
- datapack
- minecraft
- ai-mods
- fabric
API Condenser / Reverse Proxy using Kestrel and Consul, Including light weight consul lib
- consul
- kestrel
- leader
- service-discovery
Customizable bouncing dots for smooth loading effect. Mostly used in chat bubbles to indicate the other person is typing.
Interfacing Qt/QML with OCaml. Formely known as lablqt
Building a population of models that trade crypto and mutate iteratively
- trading-bot
- bitcoin
- neuroevolution
- reinforcement-learning
Faster enum reflection for C++17 since I don't want to wait for C++26 reflection.
- c-plus-plus
- cpp
- cpp20
- enum
A curated list of awesome advertising content, resources and libraries.
- awesome-list
- prebid
- header-bidding
- advertising
📅 A lightweight, customizable iOS calendar view control in Objective-C — locale & calendar identifiers (Persian, Hebrew…), date-range selection, multiple display modes, and full color theming.
- ios-calendar
- calendar
- calendarview
- calendar-view
Elixir Plug to easily add HTTP basic authentication to an app
Magento 2 Extension to cleanup admin menu and Store > Configuration area by arranging third party extension items.
- magento2
- magento2-extension
- magento2-extension-free
- magento2-module
C++11/20 library that provides static_vector, small_vector, static_map, small_map, flat_map, static_flat_map, small_flat_map, static_unordered_map, small_unordered_map, etc.
- cpp11
- header-only
- small-vector
- flat-map