Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
61,275 visible repositories in the index
1,009–1,032 of 1,085 · Most stars
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
Phalcon 3, PHP7, Docker sample starter application
Pyramid sample application for publishing filesystem content
Aurelia Style Guide: A starting point for Aurelia development teams to provide consistency through best practices. http://aurelia.io
- aurelia
- styleguide
A collection of awesome resources for Splunk IT Service Intelligence
- awesome
- awesome-list
- splunk
- splunk-itsi
An example of using Gemini CLI with MCP Servers for Genmedia and Gemini 2.5 Flash Image model
- ai
- filmmaking
- gemini
- gemini-cli
Having fun with music synthesizers
An example app that demos how to use TFLite to do automatic speech recognition on-device
A proof-of-concept C# console application for retrieving legacy 2010 & 2013 custom SharePoint workflow definition files, and creating new Power Automate flows programmatically.
- sharepoint-online
- sharepoint
- workflows
- powerautomate
Almost any web page can work offline
Converts trello data into fast read information
Visual regression testing using Jest, Chromeless and AWS Lambda.
- chromeless
- jest
- react-static
- visual-regression-testing
Quick Demo for setting up a Babylon.js real time video processing in a web page.
Example usage of leaflet with choo via cache-element
An example web application that shows how to use the ArcGIS API for JavaScript with Svelte
- arcgis-api
- javascript
- svelte
- sveltejs
A curated list of delightful Salesforce Articles/Webinar/Videos and Blogs
Tired of screen fragmentation? AppDimens is the unified solution for responsive, pixel-perfect UI across all platforms and devices. It offers adaptive scaling (SDP, SSP, Dynamic, Fixed) for Kotlin, Compose, XML Views, Swift, and SwiftUI, ensuring layouts and fonts scale perfectly from the smallest to the largest device.
A tutorial application that demonstrates how to use React.js, GraphQL, and Relay with a Ruby on Rails (active record/psql) server.
This project demonstrates the google cloud IOT platform interaction with the IOT devices.
- google-cloud
- google-cloud-pubsub
- google-cloud-storage
- iot
Essential iOS structured interviews/questions from RocketSkill App. Feel free to contribute! 🎓
A simple playground to demonstrate Swift Protocol Oriented Programming
Aurelia navigation skeleton implemented with Gulp and Typescript
An E2E tutorial to create a video game controller by creating a custom pose classifier using TF Lite.