Reimplementation of Natural Number Game in Coq
Repository Index
77,852 visible repositories in the index
1,057–1,076 of 1,076 · Most stars
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.
A highly customizable starter template for a React based Algorand dApp, integrated with the subtopia-js-sdk.
- algokit
- algokit-template
- algorand
- blockchain
This project aggregates important and useful information about SXA
- sitecore
- sxa
- sitecore-experience-accelerator
- spe
"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
You will find here my first steps on BabylonJS. Those are only tests ...
😎 Awesome lists about Internationalization & localization stuff. l10n, g11n, m17n, i18n. Translations! 🌎🌍
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).
This is a Web Monetization Demo :)
- mysql-database
- slim-framework
- slim4
- php72
Demonstration of the Babylon.js accessibility package.
The repository contains files needed for the inspectIT workshops.
Comparing the performance of Stacked Ensemble Learning & machine learning algorithms like Random Forest, Decision Tree, Adaboost, Gradient Boost and XGBoost Classifier in Python for Stock Market Trend Prediction.
An hour-long hands-on practice on readable and maintainable programming
The repository host gives no description.
A curated and collaborative list of awesome Kustomize resources
Workshopper to learn about the next version of node
An hour-long hands-on practice on readable and maintainable programming
Self guided workshops to teach you about hapi.
A repository showing how to enable authentication in a .NET Core headless Sitecore application.
The repository host gives no description.