SPARK formal verification automated with Travis CI
Repository Index
47,133 repositories indexed
457–480 of 508 · Most stars
Repo to go along with my sysadvent 2014 post
Simple PHP federation endpoint with a static JSON dataset
Repo to accompany the series "Build A Pet Management System With Remix, Prisma, and Postgres" https://www.youtube.com/watch?v=wqyHGQlZcws&list=PLTnRtjQN5ieYu9SdwLvzKYFVtfqySY7FT
- crud
- html
- javascript
- postgresql
Modular application designed with principles of DDD and Clean Architecture.
Aurelia client sample with aurelia-authentication and loopback server
Example of using Blazor WebAssembly with old sites
JupyterHub with Nextcloud and OpenID Connect
An Icon classifier made with TFLite Model Maker and deployed to Android with ML Model Binding.
- tensorflow-lite
- tflite
- computer-vision
- deep-learning
Blazor WebAssembly Standalone App with OIDC Authentication
- blazor-webassembly
- keycloak-provider
- oidc-authentication
demo app with manual and auto mode
Playground showing examples of using C with Swift. Based on the work of Mike Ash at NSSpain 2014.
&yet's default app for Ampersandjs, but with persistent storage in RethinkDB.
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
Enhancing Ansible Development with SOLID Principles
This is a backend template built with Golang and the Fiber web framework
- backend
- backend-api
- fiber-framework
- golang
This template contains a minimal setup of components, queries and tooling to get started with Hydrogen, the Shopify’s stack for headless commerce
This repository is used to share Sitecore XM Cloud vertical demo assets with external contributors and partners
Simple example of integration with fuse tools
mongodb-aggregate-adventure will run through a series of MongoDB aggregation workshops. Starting at a basic aggregation tasks and moving on to more advanced exercises about dealing with aggregation using MongoDB.
Playground with Functional Programming design patterns and some functional techniques
Swift playground using AVAudioEngine with a playernode and effects to play an audio file
- audio
- avaudioengine
- swift
GameMaker Studio 2.3+ example of Pause with no surfaces