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
10,225–10,248 of 15,496 · Most stars
Open Source Threat Intelligence Platform
- cti
- cybersecurity
- security
- intelligence
Bluetooth mapping in Swift
Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"
C++ API for LibAV / FFMpeg
- libav
- ffmpeg
- python
- java
Machine is a workflow/pipeline library for processing data
- golang
- golang-library
- golang-package
- workflow
💥 Open source directory of free student-led high school hackathons.
- hackathons
- high-school
- nextjs
- hackclub
TypeScript RPC (Remote Procedure Call) for WebSocket and Worker protocols
- grid-computing
- remote-function-call
- network
- thread
Safari extension to save your working sessions
- osx
- safari-extension
- utilities
Abstract Syntax Tree for parsing schema.prisma files
NetCoreCMS is a modular theme supported Content Management System developed using ASP.Net Core 2.0 MVC. Which is also usable as web application framework. This project is still under development. Please do not use before it's first release.
- asp-net-core
- c-sharp
- cms-framework
- site-engine
PHPCheckstyle is an open-source tool that helps PHP programmers adhere to certain coding conventions.
- php
- coding-conventions
- phpcheckstyle
- checkstyle
:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript
Some great custom slash commands to supercharge your workflow
DevStart Lab - An interactive open-source platform to learn programming, explore real projects, and contribute to GitHub.
- beginner-friendly
- coding-challenges
- developer-tools
- education
A self-hosted personal project companion powered by Schway.
High-performance Piecewise Geometric Model (PGM) learned index implementation in pure Rust with strict epsilon error guarantees
Repack docker images to optimize for pulling speed.
Serverless pre-rendering (SSR) for React SPA using AWS Lambda, S3, and CloudFront.
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.
Self-hosted photovoltaic dashboard for monitoring solar production, consumption, battery usage, grid exchange, and financial performance.
- photovoltaic
- photovoltaics
- photovoltaics-dashboard
- influxdb
Daggy - Data Aggregation Utility and C/C++ developer library for data streams catching
- serverless-framework
- streaming
- stream-processing
- qt
Repository to manage WhiteWind atproto blogging platform codes
Tap your MacBook lid: turn the display's edges into buttons using the built-in motion sensor. No extra hardware. macOS menu bar app.
- accelerometer
- apple-silicon
- gestures
- gyroscope