https://github.com/courses-at-nju-by-hfwei/problem-solving-class-coq

Rock on Coq for the Problem Solving Class at Nanjing University

classes coq formal-methods nanjing-university problem-solving-class proof-assistant theorem-proving tutorial

Last synced: 01 May 2025

https://github.com/turbomack/hs-websockets-workshop

Intoroduction to websockets in Haskell

haskell tutorial websockets

Last synced: 26 Jan 2026

https://github.com/horeaporutiu/rest-api-tutorial-ibm-watson

Code based on Youtube Tutorial (Link attached). Learn to use Watson conversation, language translation, and tone analyzer. - Discovery coming soon :)

language-translation language-translator-api node tone-analyzer tutorial watson-api

Last synced: 09 Apr 2025

https://github.com/hannesm/mirageos-bobkonf2019-tutorial

MirageOS unikernels used for bobkonf 2019 tutorial

example functional-programming mirageos ocaml tutorial unikernel

Last synced: 09 May 2025

https://github.com/he-mat/better_tutorial

short NASM tutorial

assembly nasm tutorial

Last synced: 04 Apr 2025

https://github.com/zoltan-nz/playing-with-kubernetes

Getting started with kubernetes, tutorial for beginners, kubernetes tutorial

kubernetes minikube tutorial

Last synced: 10 Apr 2025

https://github.com/coppolaemilio/2d-puzzle-tutorial

The code featured in my tutorial videos: https://www.youtube.com/watch?v=HmnwNadwHWI

godot tutorial

Last synced: 30 Oct 2025

https://github.com/waylau/webix-tutorial

Webix Tutorial 《Webix 教程》一本关于 Webix 学习的开源书。

tutorial webix

Last synced: 25 Sep 2025

https://github.com/educ8s/circuitpython-st7735-examples

Raspberry Pi Pico programs that use the ST7735 display with CircuitPython.

bitmap circuitpython raspberry-pi-pico-projects rasperry-pi-pico st7735 st7735r tutorial

Last synced: 15 Apr 2025

https://github.com/dvgodoy/pytorch101_odsc_europe2021

Beginner workshop on PyTorch - ODSC Europe 2021

deep-learning pytorch tutorial

Last synced: 10 Apr 2025

https://github.com/bradgarropy/webpack

tutorial webpack

Last synced: 30 Oct 2025

https://github.com/jp7io/typescript-crud-api

A guide to build a TypeScript CRUD API (Backend) with TypeORM.

express tutorial typeorm typescript

Last synced: 06 Apr 2025

https://github.com/thehoneymad/mvchain

A minimum viable blockchain demo in dotnet core

bitcoin blockchain console-application dotnet-core tutorial

Last synced: 12 Apr 2025

https://github.com/codica2/react-site-tutorial

Site tutorial for ReactJS

popup react react-component tutorial

Last synced: 11 Apr 2025

https://github.com/mindspore-courses/rainbow-mindspore

About Rainbow-MindSpore! A step-by-step tutorial from DQN to Rainbow

deep-learning deep-reinforcement-learning reinforcement-learning tutorial

Last synced: 28 Apr 2025

https://github.com/schluppeck/learningmatlab

Introduction to Matlab Programming

introduction learning material matlab tutorial

Last synced: 07 Oct 2025

https://github.com/mindspore-courses/heads-on-mindspore

MindSpore tutorials and fun projects including neural talk, neural style, poem writing, anime generation

cookbook deep-learning mindspore tutorial

Last synced: 15 Jun 2025

https://github.com/davepartner/firebase-image-upload

A sample script for uploading images with firebase js.

android facebook firebase firebase-api image ios mobile-app storage tutorial upload youtube

Last synced: 26 Apr 2025

https://github.com/salvatorecordiano/telegram-echo-bot

Sample echo Telegram Bot

bot bots demo heroku telegram telegram-api telegram-bot telegram-bot-api telegram-bots tutorial

Last synced: 23 Apr 2025

https://github.com/hashicorp-education/learn-terraform-data-sources-vpc

hashicorp terraform tutorial

Last synced: 19 Oct 2025

https://github.com/robertshrestha/coredatacontactbook

Simple Contact Book in swift using Core Data

coredata ios ios-app ios-swift ios11 mvvm mvvm-architecture swift swift-3 swift3 tutorial

Last synced: 09 Apr 2025

https://github.com/ludovatech/lidar-ld19-tutorial

Tutorial on lidar LD19 : How to retrieve data from this LiDAR sensor using a microcontroller

ld19 ld19-lidar lidar tutorial

Last synced: 19 Jan 2026

https://github.com/lintangwisesa/purwadhika-jc05-02_frontend

Materi Job Connector Purwadhika Batch 05 2018

book bootcamp css frontend html javascript js react reactjs tutorial web

Last synced: 26 Apr 2025

https://github.com/gurkenlabs/litiengine-docs

The documentation for LITIENGINE - The pure 2D Java game engine

documentation game-engine getting-started java litiengine tutorial

Last synced: 09 Apr 2025

https://github.com/jmarrec/testcpp-gha-coverage

A repo to test how to report coverage of a C++ project using Github Actions

coverage cpp github-actions tutorial

Last synced: 09 Apr 2025

https://github.com/aaronksaunders/vue-composition-firebase-app-2

use the new VueJS Composition API to seperate out Firebase integration into a VueJS Application.

blog-post firebase javascript tutorial vue vue-cli vue-composition-api vue-composition-firebase vuejs vuejs-application vuejs-composition-api

Last synced: 10 Jul 2025

https://github.com/robinka/netprintsunitytutorial

Example project replicating part of Unity's roll-a-ball tutorial with NetPrints

blueprints csharp dotnet example netprints programming tutorial unity visual

Last synced: 20 Oct 2025

https://github.com/soupi/learn-scotty-bulletin-app

Building a bulletin board using Haskell, scotty and friends

haskell haskell-learning scotty tutorial webdev

Last synced: 25 Apr 2025

https://github.com/didinj/react-native-qrcode-scanner-example

React Native Tutorial: QRCode Scanner App for Android or iOS

example native qrcode qrcode-scanner react react-native scanner tutorial

Last synced: 24 Apr 2025

https://github.com/hu2di/android-collapsing-toolbar-layout

Android Collapsing Toolbar Layout

android collapsing toolbar tutorial

Last synced: 08 Apr 2025

https://github.com/the-akira/comandos-bash

Explorando a command-line interface (CLI) com a linguagem de comandos GNU Bash.

bash command-line linux terminal tutorial unix-shell

Last synced: 07 May 2025

https://github.com/didinj/ionic-5-calculator-app-example

Ionic 5 Tutorial: Create Ionic Calculator App

app calculator create ionic ionic-calculator ionic5 tutorial

Last synced: 24 Apr 2025

https://github.com/rodrigokamada/react-auth0

Application example built with React 18 with authentication using the Auth0 service.

auth0 authentication beginners dev-community gh-actions gh-pages hacktoberfest login react signin signout signup stackblitz tutorial

Last synced: 10 Apr 2025

https://github.com/llamacademy/unity-csharp-basics-5

Learn about delegates in a Unity-focused tutorial!

delegates game-development gamedev gamedevelopment tutorial tutorial-code unity unity3d

Last synced: 24 Apr 2025

https://github.com/Peacecake/UnityWaypointMovement

Showcase of how to do a waypoint based movement system in Unity3D

csharp gamedev gamedevelopment showcase tutorial unity3d waypoints

Last synced: 25 Apr 2025

https://github.com/flowforfrank/express-api

💻 REST API created with Express

express expressjs javascript jwt rest rest-api tutorial webtips

Last synced: 09 Apr 2025

https://github.com/flowforfrank/checksnake

🐍 Creating the snake game from checkboxes

checkboxes game-development javascript snake snake-game tutorial webtips

Last synced: 09 Apr 2025

https://github.com/janipalsamaki/spacex-robot

Tutorial for creating a software robot for fetching data from SpaceX API.

robot-framework robotframework tutorial

Last synced: 14 Oct 2025

https://github.com/hashicorp-education/learn-terraform-datadog-local

aws datadog hashicorp kubernetes terraform tutorial

Last synced: 19 Oct 2025

https://github.com/p2panda/mushroom-app-tutorial

Example "Mushroom App" used as a p2panda tutorial

local-first p2panda react tutorial

Last synced: 13 Jul 2025

https://github.com/fisothemes/twincat-ads-guide-in-.net

A technical guide to navigating TwinCAT ADS with C#/.NET, focusing on dynamic marshalling and addressing critical knowledge gaps in Beckhoff's documentation.

ahhhh beckhoff csharp dotnet guide iec-st industrial-automation plc plc-programming tutorial twincat twincat-ads

Last synced: 01 Mar 2025

https://github.com/flowforfrank/threejs

🪐 The making of Mars in Three.js

3d globe javascript threejs tutorial webtips

Last synced: 09 Apr 2025

https://github.com/osprogramadores/dicas-bash

Várias dicas e truques para quem está iniciando em bash (slides)

bash tutorial

Last synced: 05 Oct 2025

https://github.com/erictleung/tutorial-tidyverse

:milky_way: Presentation on the tidyverse in R to clean and manipulate data

data-cleaning data-manipulation data-science manipulate-data presentation programming r tidyverse tutorial

Last synced: 25 Mar 2025

https://github.com/flowforfrank/animated-progress-bar

📥 Animated Progress Bar With CSS

animation css css-animations css-progress-bar css3 progress-bar tutorial webtips

Last synced: 09 Apr 2025

https://github.com/quinlan-lab/snakemake_tutorial

joshua pipeline tutorial

Last synced: 01 Apr 2025

https://github.com/didinj/react-native-worldcup-app-example

Build Android and iOS App from scratch using React Native

android app build example from ios iphone native react react-native reactjs scratch tutorial using

Last synced: 08 Oct 2025

https://github.com/ogstudio/openscenegraph-cross-platform-guide-application

Sample application for OpenSceneGraph cross-platform guide

application example guide openscenegraph tutorial

Last synced: 21 Apr 2025

https://github.com/glazedlists/glazedlists-tutorial

Tutorial for Glazed Lists: https://glazedlists.github.io/glazedlists-tutorial/

collections glazedlists java list-transformation tutorial

Last synced: 22 Apr 2025

https://github.com/philliphartin/ionic4-long-press-demo

An Ionic 4 beta project demonstrating long press functionality for a medium article

angular ionic ionic4 tutorial

Last synced: 06 Jul 2025

https://github.com/didinj/spring-boot-slackbot-example

The example of Spring Boot, MongoDB and JBot Slack Bot Application

application boot bot example jbot mongo mongodb slack spring spring-boot tutorial

Last synced: 09 Oct 2025

https://github.com/jcbritobr/erco-fltk-examples

Erco's fltk Cheat Page examples ported for Rust Language.

fltk gui rust tutorial

Last synced: 05 Jul 2025

https://github.com/yacodes/sclang-tutorials

Pack of tutorials on Supercollider

sound supercollider tutorial

Last synced: 07 Jan 2026

https://github.com/yas-sim/devcloud-workshop-jp

Intel DevCloud for the Edge hands-on workshop contents (Japanese, 日本語版)

benchmarking deep-learning devcloud hands-on inference inference-engine intel intel-devcloud jupyter-notebook openvino openvino-toolkit tutorial workshop

Last synced: 22 Apr 2025

https://github.com/gvwilson/change

Organizational change for open science

codebender open-science organizational-change tutorial

Last synced: 04 Sep 2025

https://github.com/loftwah-demo/linux-for-pirates-2

DevOps with Docker, Ruby on Rails and Linux for Pirates!

docker docker-compose linux npm ruby ruby-on-rails tutorial

Last synced: 24 Oct 2025

https://github.com/ldilley/bsdmod

:smiling_imp: Various demonstrational FreeBSD kernel modules

bsd c example example-code freebsd freebsd-kernel freebsd-kld operating-system tutorial tutorial-code

Last synced: 09 Apr 2025

https://github.com/sovdeeth/skript-tutorials

Repository to allow contributions and feedback to the Skript Tutorials gitbook site.

tutorial tutorials

Last synced: 21 Feb 2025

https://github.com/oxylabs/asynchronous-web-scraping-python

A comparison of asynchronous and synchronous web scraping methods with practical examples.

async asynchronous data-acquisition python synchronous tutorial web-scraping web-scraping-python web-scraping-tutorials

Last synced: 27 Sep 2025

https://github.com/deining/emwitutorial

Embedded Wizard tutorial and sample application: https://deining.github.io/EmWiTutorial/

chora embedded-systems embedded-wizard gui gui-builder gui-programming tutorial

Last synced: 10 Oct 2025

https://github.com/robinka/ga-tutorial

Interactive Geometric Algebra Tutorial

clifford-algebra ga geometric-algebra grassmann-algebra javascript learn pga programming projective-geometric-algebra react tutorial website

Last synced: 09 Apr 2025

https://github.com/PDBeurope/api-webinars

Study materials for the PDBe API webinar series in September 2020.

api-rest api-webinars bioinformatics jupyter-notebooks pdb protein protein-structure python tutorial web-components webinar

Last synced: 11 Mar 2025

https://github.com/mindspore-courses/bert-chinese-text-classification-mindspore

tutorial

Last synced: 07 Oct 2025

https://github.com/mindspore-courses/mindspore-examples

tutorial

Last synced: 07 Oct 2025

https://github.com/enpeizhao/duck_chain

Python build a simple blockchain（利用Python 开发一个区块链 ）

bitcoin blockchain proof-of-work tutorial

Last synced: 18 Oct 2025

https://github.com/astrotars/stream-android-encrypted-chat

Build an encrypted chat/messaging app with Android and Stream Chat

android chat e2ee encryption end-to-end-encryption kotlin messaging stream-chat tutorial virgil virgil-security

Last synced: 12 Apr 2025

https://github.com/applitools/example-playwright-typescript

Applitools Example: Playwright in TypeScript

applitools applitools-example applitools-eyes applitools-tutorial playwright test-automation tutorial typescript ultrafast-grid visual-testing

Last synced: 05 Sep 2025

https://github.com/salvatorecordiano/facebook-echo-bot

Sample echo Facebook bot using Messenger Platform API

bot bots facebook-bot facebook-bot-api heroku php tutorial

Last synced: 23 Apr 2025

https://github.com/didinj/angular6-firebase-firestore-example

Angular 6 Firebase Tutorial: Firestore CRUD Web Application

angular angular5 angular6 angularjs application crud database example firebase firestore tutorial web webapp

Last synced: 28 Apr 2025

https://github.com/losttech/torch.siren

C# implementation of the SIREN neural network (sinusoid activations) with TorchSharp.

csharp dotnet neural-network siren torchsharp tutorial

Last synced: 09 Apr 2025

https://github.com/llamacademy/progress-bars

Learn how to implement Progress Bars that can optionally report their progress and raise completed events!

game-development gamedev gamedevelopment progress-bar tutorial unity

Last synced: 25 Apr 2025

https://github.com/hashicorp-education/learn-terraform-aws-cloud-control

cloud-control hashicorp terraform tutorial

Last synced: 19 Oct 2025

https://github.com/iamflowz/neo4j-tutorial

Small starter project, demonstrating the power of the neo4j-graphql-js library

back-end backend backend-as-a-service backend-services neo4j neo4j-database neo4j-driver neo4j-graph neo4j-server neo4j-tutorial node node-js nodejs nodejs-server nodemon tutorial tutorial-code tutorial-demos tutorial-sourcecode tutorials

Last synced: 07 Jul 2025

https://github.com/amrdraz/modernweb_course

A repo for a course I gave on modern web at the GUC, still under development many incomplete lessons

course javascript tutorial web-app web-development

Last synced: 16 Jul 2025

https://github.com/lsjsj92/airflow_tutorial

python airflow tutorial and example

airflow apache apache-airflow example machine-learning machinelearning mlops python tutorial

Last synced: 01 Aug 2025

https://github.com/javascript-tutorial/sr.javascript.info

Modern JavaScript Tutorial in Serbian

javascript serbian tutorial

Last synced: 07 Sep 2025

https://github.com/nurfawaiq/tutorial-laravel

SC Seri Tutorial Laravel Channel YouTube YukCoding Media (Upgrade Laravel 10.x)

laravel tutorial yukcoding

Last synced: 10 Apr 2025

https://github.com/levonet/todomvc-gemini

Внедряем gemini в пример https://github.com/tastejs/todomvc

gemini tutorial

Last synced: 02 Aug 2025

https://github.com/living-with-machines/maps-at-scale-using-computer-vision-and-jupyter-notebooks

Working with maps at scale using Computer Vision and Jupyter notebooks

computer-vision glam notebooks tutorial workshop

Last synced: 13 Apr 2025

https://github.com/hasan-kilici/go-simple-console-app-projects

golang simple tutorial

Last synced: 15 Apr 2025

https://github.com/shibing624/cpp-tutorial

C++开发实例教程，基础，开源库进阶，高级技巧。

cpp11 tutorial

Last synced: 20 Mar 2025

https://github.com/mfaisalkhatri/cypress_tutorial

Learn How to use Cypress for web automation

automated-testing automation cypress tutorial

Last synced: 12 Jun 2025

https://github.com/nashory/rl-tutorial-by-games

Game collection trained by SOTA reinforcement learning algorithms for tutorial

a2c atari deep-learning dqn game pytorch reinforcement-learning tutorial

Last synced: 14 Sep 2025

https://github.com/leocavalcante/vlog

✌️ Building a 150 KB web blog in V & SQLite

blog learn-in-public tutorial v vlang

Last synced: 15 Apr 2025

https://github.com/ishanvyas22/cakephp-vuejs-skeleton

A CakePHP application setup for Vue.js

cakephp single-page-app skeleton spa tutorial vuejs

Last synced: 12 Sep 2025

https://github.com/twtrubiks/k8s-tutorial

Kubernetes tutorial

install k8s kubernetes tutorial ubuntu1804

Last synced: 15 Apr 2025

https://github.com/pexmor/unshare

The beauty and the beast (story of python and unshare)

docker python tutorial

Last synced: 07 May 2025

https://github.com/scottgriv/post.e

🟨 🟧 🟥 A multi-programming language, social media platform example for iOS. Share photos, videos, text, any file type, follow others, and enjoy a dynamic newsfeed. Designed for developers and tech enthusiasts learning how to structure their own social media application.

how-to ios-app ios-swift iphone-app social-media social-network swift swift5-7 tutorial watchos watchos-app

Last synced: 12 Aug 2025

https://github.com/mfaisalkhatri/pcloudy-demo

Learn how to run parallel web automation tests using pcloudy platform

hacktoberfest paralleltest selenium-webdriver testng tutorial webautomation

Last synced: 26 Oct 2025

https://github.com/extcore/extcore-sample-simplest

ExtCore framework 7 sample simplest web application

asp-net-core extcore-framework sample tutorial

Last synced: 07 Apr 2025

https://github.com/amineHorseman/pioneer_bringup

A ROS package providing roslaunch scripts for starting the Adept MobileRobots Pioneer and Pioneer-compatible robots

bringup laser pioneer-robots pionner-compatible-robots python ros ros-kinetic rosaria tutorial usb-cameras

Last synced: 14 Mar 2025

https://github.com/mxdi9i7/book

Open-sourced tutorial series on how to become a web developer in 300 days. Combines lectures, videos, practices, exams and projects for effective learning. Right now we only have English and Chinese content, contribution in other languages is welcomed, please view CONTRIBUTING.md for guidelines.

javascript tutorial

Last synced: 17 Jul 2025

https://github.com/ksafranski/docker-tutorial

:whale: Getting Started with Docker

containers docker tutorial

Last synced: 30 Apr 2025

https://github.com/eunomia-bpf/basic-cuda-tutorial

A collection of CUDA programming examples to learn GPU programming

cuda tutorial

Last synced: 15 Jun 2025

https://github.com/gioragutt/unity-kapara-game

Game made following Brackeys' - How to make a Video Game series

brackeys csharp tutorial unity3d

Last synced: 25 Apr 2025

https://github.com/voximplant/jitsi-connector

VoxEngine scenarios that provide phone network connectivity connecting to Jitsi Jigasi

jitsi tutorial voip voximplant

Last synced: 08 May 2025

https://github.com/fiware/tutorials.roles-permissions

:closed_book: FIWARE 402: IDM - Application Roles and Permissions

fiware fiware-keyrock identity-management security tutorial

Last synced: 30 Apr 2025

https://github.com/vanitasvitae/homemadeomemo

Home Made OMEMO Client in < 200 lines of code (MIRROR)

demaiziere demo omemo selfmade tutorial xmpp

Last synced: 30 Apr 2025

https://github.com/naemazam/microprocessor-design-with-proteus-and-keil

A microprocessor is a computer processor wherein the data processing logic and control is included on a single integrated circuit, or a small number of integrated circuits. The microprocessor contains the arithmetic, logic, and control circuitry required to perform the functions of a computer's central processing unit.

0-to-f 7-segment-display assembly-language hex-files keil-uvision lab-report led-control matrix-keypad4x4 microcontroller microcontroller-lab naemazam proteus-v8 timer tutorial youtube

Last synced: 11 Sep 2025

https://github.com/rh01/coursera_dl

deep learning specialization course in Coursera, contains nn, CNN, RNN topics.

cnn cnn-keras cnn-model computer-vision coursera deep-learning deep-networks deep-neural-networks lstm machine-learning neural-network neural-networks nn optimization python3 rnn rnn-tensorflow tensorflow tensorflow-models tutorial

Last synced: 27 Dec 2025