Reimplementation of Natural Number Game in Coq
Repository Index
47,133 repositories indexed
1,297–1,320 of 1,405 · Most stars
A simple example program for creating password archives in ZIP format, running in a browser using WebAssembly.
Playground showing examples of using C with Swift. Based on the work of Mike Ash at NSSpain 2014.
Cycle JS sample shopping cart.
Various algorithms implementation as Swift Playground files
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.
Example of implementing Support Vector Machine (SVM) with RBF (Gaussian) kernel in Ruby using rb-libsvm. .
- rubyml
- ruby
- svm
- svm-classifier
Code samples that showcase how to integrate the DELTACAST IP Virtual Card in conjunction with sony/nmos-cpp
- ip
- nmos
- st2110
- streaming
The repository host gives no description.
:earth_asia: A slideshow of Earth photos taken by DSCOVR/EPIC, fetched from Twitter using Swift.
- swift
- playground
- twitter-api
Enhancing Ansible Development with SOLID Principles
A playground to introduce Functors in Swift, and their practical usage. From my Melbour CocoaHeads #85 lighting talk.
an example of how to build C code as part of a Scala Native project using sbt-jni
- scala-native
- sbt-jni
- cmake
This is a backend template built with Golang and the Fiber web framework
- backend
- backend-api
- fiber-framework
- golang
Student submissions for the WWDC 2024 - Swift Student Challenge
- apple
- swift-playgrounds
- swift-student-challenge
- wwdc
This template contains a minimal setup of components, queries and tooling to get started with Hydrogen, the Shopify’s stack for headless commerce
A midi implementation example for micropython.
Interactive web playground for various Computational Geometry algorithms and topics using p5.js
Simple example of integration with fuse tools
Multiple Playgrounds using almost every behaviour of UIDynamics
Examples of using GraphQL in an Ember App
Playground with Functional Programming design patterns and some functional techniques
An example of implementing linear regression in Ruby.
- rubyml
A few aioble (asyncio BLE) examples of MicroPython using esp32
- asyncio
- ble
- bluetooth-low-energy
- esp32