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
1,609–1,632 of 2,293 · Most stars
Awesome list of websites dedicated to listening to music
💥 Open source directory of free student-led high school hackathons.
- hackathons
- high-school
- nextjs
- hackclub
:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript
A simple networked physics demo for the Godot engine using state synchronization and UDP
A curated list of smart :tv: frameworks, libraries, software and resources.
- smart-tv
- awesome-list
Serverless pre-rendering (SSR) for React SPA using AWS Lambda, S3, and CloudFront.
A curated list of awesome advertising content, resources and libraries.
- awesome-list
- prebid
- header-bidding
- advertising
A curated list of awesome DTrace books, articles, videos, tools and resources.
- dtrace
- awesome-list
- awesome
- list
Software Foundations
A Curated List of Best Javascript Books
A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
Safety in Embodied AI: A Survey of Risks, Attacks, and Defenses | 500+ Papers | Perception, Cognition, Planning, Interaction, Agentic System
- adversarial-attacks
- ai-safety
- autonomous-driving
- backdoor-attacks
Ionic Push Notifications Base App for iOS and Android
This repository has samples that demonstrate various aspects of the AWS Mobile SDK for Unity, you can get the SDK source on Github (https://github.com/aws/aws-sdk-net)
A curated list of awesome music programming languages, libraries, frameworks and tools.
- awesome
- awesome-list
- music
- music-composition
Collection of applications based on a single C# .NET Standard project running in: Blazor Client (WebAssembly), Blazor Server, Electron, WPF, WinForms, Maui, WinUI3
- webassembly
- dotnet
- wpf
- winforms
Implementations of popular data structures and algorithms
How to build an analytics agent that gets your business numbers right: metrics from your analysts' SQL, a golden set of real questions, improvement loops
A list of general purpose tricks and techniques for saving tokens in PICO-8.
- pico-8
- optimization-methods
Firebase to Supabase Migration Guide
Bolei's archive on generative modeling
I love to teach dotnet concepts in a simple way with real world examples to people who aspire to to be a dotnet developer. I also help developers to refresh their memory with easy to understand analogy.
- dotnet
- csharp
- linq
- blazor
A collaborative list of Awesome Bluetooth Low Energy (BLE) resources. Feel free to contribute!