🍮 A collection of Swift snippets to be used in Xcode
Repository Index
79,350 visible repositories in the index
2,497–2,520 of 2,944 · Most stars
A curated collection of publicly available resources on how companies around the world perform load testing
- performance-testing
- load-testing
- best-practices
- performance-engineering
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
: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
TranslatedAI translation of "In Search of Lost Time" (追忆似水年华)
Software Foundations
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
Learn how to build a compiler by interacting with Let's Build a Compiler by Jack Crenshaw in Swift Playgrounds
- compiler
- compiler-principles
- compiler-construction
- swift
A collection of libraries, experiments and ideas relating to OCaml 5 (multicore + effects)
A collection of samples for Fusion library: https://github.com/servicetitan/Stl.Fusion
- blazor
- blazor-server
- blazor-webassembly
- dotnet
A curated list of awesome music programming languages, libraries, frameworks and tools.
- awesome
- awesome-list
- music
- music-composition
Ionic Push Notifications Base App for iOS and Android
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
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
Implementations of popular data structures and algorithms
A list of general purpose tricks and techniques for saving tokens in PICO-8.
- pico-8
- optimization-methods
Firebase to Supabase Migration Guide
A curated list of awesome QR code libraries, software and resources
- awesome
- awesome-list
- collections
- lists
Bringing thousands of learners together to unpack DeepInfer through peer-reviewed explanations, documentation, and hands-on examples.
Simple Cycle.js application visualized: streams, events, DOM
An Awesome List about everything related to Symbian OS. Documentation, academic papers, tutorials, communities, IDEs, SDKs, emulators, apps, video games.
- n-gage
- ngage
- nokia
- symbian
Real-Time Intelligence Operations Solution Accelerator: Dashboards, Anomaly Detection, Fabric Data A
- activator
- ai-azd-templates
- anomaly-detection
- anomaly-detection-and-notification
Modern Play Framework and React port of the Spring Petclinic sample application
- activator
- play-framework
- reactjs
- sbt