Reimplementation of Natural Number Game in Coq
Repository Index
47,133 repositories indexed
1,633–1,656 of 1,681 · Most stars
Basic Vert.x service to generate html from markdown over the event bus
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.
:earth_asia: A slideshow of Earth photos taken by DSCOVR/EPIC, fetched from Twitter using Swift.
- swift
- playground
- twitter-api
A playground to introduce Functors in Swift, and their practical usage. From my Melbour CocoaHeads #85 lighting talk.
This template contains a minimal setup of components, queries and tooling to get started with Hydrogen, the Shopify’s stack for headless commerce
Interactive web playground for various Computational Geometry algorithms and topics using p5.js
Playground with Functional Programming design patterns and some functional techniques
CometChat Demo App for Android
Example of Common Lisp server on Heroku using Docker
Open dataset of 1,210 curated tools for Chinese cross-border entrepreneurs. Source: chdh.me, licensed under CC BY 4.0.
- amazon
- china
- chinese-startups
- cross-border-ecommerce
A highly customizable starter template for a React based Algorand dApp, integrated with the subtopia-js-sdk.
- algokit
- algokit-template
- algorand
- blockchain
Learn how to test with tape! (tap-producing test harness for node)
The repository host gives no description.
Trying something new with electron
- electron-app
- web-monetization
- coil
- web
A marketplace application used to provide an Icon Picker custom field.
The repository host gives no description.
- rubyml
- ruby
- python
- scikit-learn
Figures 8 and 11 from the book by S Wardley to demonstrate drawing Wardley Maps in LaTeX
A simple isomorphic cycle app starter
A curated list for resources on Neuraxle.
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.
😎 Awesome lists about Internationalization & localization stuff. l10n, g11n, m17n, i18n. Translations! 🌎🌍
Slides from my Ember JS Berlin talk, Design Patterns in Ember
As a user, I want a walk through of creating a web app from the `aurelia-axel` starter kit, based of a familiar database (Northwind).