Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
77,353 visible repositories in the index
2,377–2,400 of 2,552 · Most stars
A project that accompanies my talk, ReactiveCocoa made Simple with Swift
A structured, multi-agent Claude Code learning environment for mastering Retrieval-Augmented Generation (RAG)
Learning to program in Lua using "Torch" and other useful libraries
Official Supabase community starter. Social media template with opinionated modern frameworks (React, TypeScript, Zustand, etc)
A Cycle.js starter project with hot reloading using browserify-hmr
JSON-stat GitHub Repository
- jsonstat
- stats
- nsi
- government
My understanding of how to structure a golang project.
.Net Code Katas - A prebuild Kata project that already includes tests and base classes.
- kata
- c-sharp
- caesar-cipher
- roman-numerals
Some playgrounds to better understand UIBezierPaths and how to use them.
Template of yew project, using tailwind and webpack for css, trunk for build and serve, deployable as is for github.io
Comprehensive guides to GTFS and GTFS Realtime
- gtfs
- gtfs-realtime
- transit
- bus
Hosting NextJS app in Firebase with Cloud Functions.
A tutorial repository based on the Sitecore documentation to walk users through common interactions with the APIs.
Swift playground with a micro web server that replies "Hello world!" to every request
Simple Todo tutorial using Pocketbase+React in Realtime. 🪄
- pocketbase
- react
- realtime-database
- tutorial
Phalcon 3, PHP7, Docker sample starter application
A headless site built to showcase the power of Sitecore's composable digital solutions, on XM Cloud
Aurelia Style Guide: A starting point for Aurelia development teams to provide consistency through best practices. http://aurelia.io
- aurelia
- styleguide
Get started with lit sass and ts real quick
Plan and train German transformer models.
- transformer
- huggingface
- bert
- roberta
A collection of recipes for docker.
- docker
- documentation
- how-to
- cheatsheet
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor Firebase plugins.
A book that demonstrates how to perform typical table data operations using PRQL and DuckDB.