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
145–168 of 170 · Most stars
Swift playground with a micro web server that replies "Hello world!" to every request
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
A curated list of awesome Kacchi Biryani available throughout the world.
- food
- kacchi
- biriyani
The repository host gives no description.
Learn what the Event Gateway is, how it works and build your first event-driven multi-cloud application!
- serverless
- serverless-framework
- event-gateway
Useful Erlang Functions Library
- erlang
- binaries
- lists
- html-entities
Exemplary real world application built with Imba
Catalog of C++ conferences worldwide
- conferences
- cpp
Guía para mexicanos en Berlín
- berlin
- mexican
- food
- list
A hello world starter for Sitecore JSS without GraphQL bits.
Aldous-Broder algorithm implementation in Pascal for maze generation. Contains few optimizations.
- game-development
- maze
- maze-generator
- pascal
A template for implementing a Websocket controller for ChicagoBoss
Erlang 2-way map
- erlang
- data-structures
GMS2.3+ example project showing how to build simple 3d world models from a 2d grid in the style of SSI Gold Box, Eye Of the Beholder, Etrian Odyssey, etc.
A simple url unroller (un-shortener) in elixir
A big ol' list of GameMaker libraries, extensions, tools etc.
The repository not only provides users who are starting out with Content Hub ONE, Sitecore's pure headless CMS, with the assets they need to showcase the product, but also allows them to learn how it was built from a real world example.
"Most persons are so absorbed in the contemplation of the outside world that they are wholly oblivious to what is passing on within themselves."― Nikola Tesla
Slides from my Ember JS Berlin talk, Design Patterns in Ember
Erlang set associative map for key lists
- erlang
- data-structures
📄 Apollo "hello world" app, for Android
Tutorial for getting started with NodeJS, Imba, Webpack and ExpressJS/Webpack-Dev-Server, Webpack Loaders and Plugins