Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
- coq
- canonical-structures
- typeclasses
- ssreflect
Repository Index
47,133 repositories indexed
1,537–1,560 of 1,681 · Most stars
Parse awesome-go README file and generate a new README file with repo info.
Chapter 2: E-commerce App with MarketCloud and Ionic 2
.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.
Comprehensive guides to GTFS and GTFS Realtime
A tutorial repository based on the Sitecore documentation to walk users through common interactions with the APIs.
A headless site built to showcase the power of Sitecore's composable digital solutions, on XM Cloud
Notes from the edX Course
Berlin is 💯% awesome! 🍻🍾🤘
- awesome-list
- awesome
- berlin
- coffee
A collection of resources covering all aspects of Tsung usage for load testing.
- tsung
- tsung-plugin
- load-testing
- awesome
⚡️ 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.
- domain-driven-design
- ddd
- ddd-architecture
- ddd-patterns
A list of initiatives for adding new languages to opensource machine translation models
Imba TodoMVC Example
The repository host gives no description.
This is the companion repo for Go Succinctly by Amir Irani.
Sitecore Helix is the official guidelines and recommended practises for developing in Sitecore.
Phalcon Mooc an example API + Front End with automated tests
- phalcon
- php
- framework
- mooc
A curated list of awesome Kacchi Biryani available throughout the world.
- food
- kacchi
- biriyani
A collection of awesome resources for Splunk Enterprise Security
- awesome
- awesome-list
- splunk
- splunk-es
The repository host gives no description.
A tutorial for cl-collider, a Common Lisp interface to the SuperCollider synthesis server.
- cl-collider
- tutorial
- supercollider
- synthesis
A demo app to display dispatching and execution order of files and callbacks in a CakePHP app. Try it out!