Repository Index

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

Awesome list of websites dedicated to listening to music

• music
• website
• listenings
• awesome

Source code for the book "Game Boy Assembly Programming for the Modern Game Developer"

💥 Open source directory of free student-led high school hackathons.

• hackathons
• high-school
• nextjs
• hackclub

TranslatedCurated index of MCP servers for Chinese apps — connect your AI agent to 高德地图 (Amap, "Gaode Map"), 12306 (China Railway ticketing), 小红书 (Xiaohongshu, "Little Red Book"), 飞书 (Feishu, "Lark"), 语雀 (Yuque), A股 (A-shares, Chinese stock market) and more. The open-source 'Composio for China'.

• ai-agents
• awesome-list
• china
• chinese

:mag: Data pipeline for crawling PDFs from the Web and transforming their contents into structured data using AWS textract. Built with AWS CDK + TypeScript

• aws
• textract
• lambda
• dynamodb

A curated list of awesome advertising content, resources and libraries.

• awesome-list
• prebid
• header-bidding
• advertising

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.

• cra
• ssr
• react
• serverless

Rust + Yew + Axum + Tauri + Tailwindcss, full-stack Rust development for Desktop apps.

• axum
• desktop
• rust
• tauri

A curated list of awesome DTrace books, articles, videos, tools and resources.

• dtrace
• awesome-list
• awesome
• list

Intro to WebGL with three.js

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

Bitcoin Programming with BitcoinJS, Bitcoin Core and LND

• bitcoinjs-lib
• bitcoin
• javascript
• bitcoin-core

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

• ionic
• android
• ios
• push-notifications

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 Best Javascript Books

TranslatedAI translation of "In Search of Lost Time" (追忆似水年华)