Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
58,632 visible repositories in the index
193–216 of 222 · Most stars
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Template of yew project, using tailwind and webpack for css, trunk for build and serve, deployable as is for github.io
⚡️ Simple Ionic Angular app to demonstrate the use of certain Capacitor Firebase plugins.
Just a simple implementation of DDD + clean architecture pattern. It also contains the exaplanation about the concepts that supports this implementation.
This repository contains examples of Kyverno policies for controlling the creation of Cilium Network policies
graphlb is a crystal library which contains all the graph Data-Structures and Algorithms implemented in crystal-lang.
The repository host gives no description.
Companion code for the Sitecore Containers documentation.
📊⌨️ Update a pinned gist to contain your latest TypeRacer races
Export JMeter test results to CloudWatch Logs. This repository contains a CloudFormation template as well as a sample JMeter test plan.
Template for how to setup lit using vite and tailwind.
The Content Hub ONE NextJS starterkit will contain helping functionalities such as handling GraphQL JSON output conversion to HTML for Rich Text, Media Fields and References. Also it will contain a small example implementation that Developers can use to start their customer projects on.
Simple PHP federation endpoint with a static JSON dataset
Aldous-Broder algorithm implementation in Pascal for maze generation. Contains few optimizations.
Bioinformatics-themed kata for practicing string manipulation in a data transformation pipeline. Contains replit files to work quickly in an online dojo setting.
✅ Update a pinned gist to contain your Todoist stats
Wagtail template for Platform.sh.
This template contains a minimal setup of components, queries and tooling to get started with Hydrogen, the Shopify’s stack for headless commerce
Cross-platform .NET sample microservices and container based application that runs on Linux Windows and macOS. Powered by .NET 7, Docker Containers and Azure Kubernetes Services. Supports Visual Studio, VS for Mac and CLI based environments with Docker CLI, dotnet CLI, VS Code or any other code editor.
This is an example public library website using wagtail CMS.
An example of creating a SolrCloud Docker container for use with Sitecore
A playground illustrating the different ways to avoid retain cycles in swift.
A Wagtail project starter template – with the solution to Wagtail’s official Your first Wagtail site tutorial.
Demonstration using the SXA CLI from within a Docker container with Node installed.