ViewTube

ViewTube
Sign inSign upSubscriptions
Filters

Upload date

Type

Duration

Sort by

Features

Reset

17,342 results

Xena Project
10 minute Lean tutorial : proving logical propositions

I show how to prove a basic result in logic using the Lean prover, first in tactic mode and then in term mode. Try Lean online with ...

7:53
10 minute Lean tutorial : proving logical propositions

43,331 views

5 years ago

4Geeks Academy
01.1 Hello World - React Interactive Tutorial Exercises

Hello World in React.js, basic explanation of how your index.js or first entry file should look like when you are building a React.js ...

4:56
01.1 Hello World - React Interactive Tutorial Exercises

1,398 views

5 years ago

Sane's Academy of Artificial Intelligence
Interact Function in ipwidgets | Simple Interactive Graphics with Python

This video demonstrates the usage of interact function of ipwidgets library for viewing interactivity in Jupyter Notebook. Feel free to ...

6:41
Interact Function in ipwidgets | Simple Interactive Graphics with Python

229 views

3 years ago

Johannes Spielmann
Interactive Programming with Python: Reloading code while it's running

I want to show you a bit of interactive programming. Let's say you want to implement some algorithm. One nice way of doing that is ...

10:42
Interactive Programming with Python: Reloading code while it's running

429 views

4 years ago

Nic McPhee
Interactive programming in Racket with parametric equations

A demonstration using parametric equations and the Racket library function big-bang to generate some nice animations. This was ...

14:30
Interactive programming in Racket with parametric equations

12,324 views

13 years ago

Microsoft Visual Studio
Introducing the Visual Studio 'C# REPL'

The Interactive Window is an interactive environment that helps you quickly learn APIs, play with language features, and ...

11:42
Introducing the Visual Studio 'C# REPL'

10,534 views

10 years ago

Delightex Edu
Creating in CoSpaces Edu - Beginner tutorial

This tutorial introduces the key tools and techniques to create virtual worlds using CoSpaces Edu! Jump to a specific topic: The ...

9:20
Creating in CoSpaces Edu - Beginner tutorial

164,146 views

5 years ago

Cave of Programming
Python for Complete Beginners: 0112 An Interactive Program

Full course: https://www.udemy.com/course/python-machine-learning-beginners/?referralCode=CD29C5B4A5D5F7E93D86 This ...

6:55
Python for Complete Beginners: 0112 An Interactive Program

384 views

2 years ago

HOOU HfMT
Interactivity in classroom - 10 - Hybrid interactive scenarios

Interactivity in classroom: introduction to visual programming How to create easy to use interactive pathces using Pure Data and ...

10:08
Interactivity in classroom - 10 - Hybrid interactive scenarios

59 views

4 years ago

aaronsloman
Pop11 Basics: introduction to interactive programming, including lists

Originally this was a 19 minute demo, illustrating some features of Pop11, then going on to present the Riverworld tutorial. Instead ...

7:51
Pop11 Basics: introduction to interactive programming, including lists

655 views

14 years ago

360 CodeCamp
Build an Interactive Python Program Using Just Your Phone (Beginner Tutorial)

No laptop? No problem! In this beginner-friendly tutorial, I'll show you how to create an interactive Python program entirely on your ...

5:52
Build an Interactive Python Program Using Just Your Phone (Beginner Tutorial)

33 views

9 months ago

EmacsConf and Emacs hangouts
EmacsConf 2025: Interactive Python programming in Emacs - David Vujic (he/him)

https://emacsconf.org/2025/talks/python You can view this and other resources using free/libre software at ...

19:53
EmacsConf 2025: Interactive Python programming in Emacs - David Vujic (he/him)

843 views

1 month ago

4Geeks Academy
10 Call your first function in - Python Tutorial for Beginners (Interactive and Auto-graded)

Call your first function in python. ⏯ Download or start the entire tutorial and exercises here: ...

4:08
10 Call your first function in - Python Tutorial for Beginners (Interactive and Auto-graded)

763 views

5 years ago

4Geeks Academy
08 Python Conditionals - Python Tutorial for Beginners (Interactive and Auto-graded)

How to create conditionals in python (if, else) to conditionally execute or skip lines of your algorithm. ⏯ Download or start the ...

7:17
08 Python Conditionals - Python Tutorial for Beginners (Interactive and Auto-graded)

552 views

5 years ago

LiaScript
LiaScript0.14: Interactive Code-Blocks  (English) #15

In this part, we dive into one of LiaScripts core-features, which allow you to make Markdown-Code-Blocks editable and executable ...

16:17
LiaScript0.14: Interactive Code-Blocks (English) #15

52 views

1 year ago

4Geeks Academy
My first table with styles and head - HTML Interactive Exercises/Course

Hello, my name is Alejandro Sánchez @alesanchezr, follow me on twitter for free coding courses and tutorials like this.

6:12
My first table with styles and head - HTML Interactive Exercises/Course

1,115 views

5 years ago

Open eLMS
Learn How AI Can Transform Your Lessons!

Calling all GCSE teachers! Discover how to revolutionise your classroom with OpeneLMS! In this video well walk you through ...

4:41
Learn How AI Can Transform Your Lessons!

343 views

1 year ago

The German Professor
Creating Language Learning Games for the Classroom

About the channel producer: https://doktorfrag.wordpress.com Link to article on interactive fiction game: http://bit.ly/InteractiveFict ...

11:34
Creating Language Learning Games for the Classroom

923 views

9 years ago

4Geeks Academy
19 FizzBuzz Interview Question - Python Tutorial for Beginners (Interactive and Auto-graded)

Typical Google Interview Question: The FizzBuzz. Autograded solution for the exercise. This is the 19 video on a series of ...

5:33
19 FizzBuzz Interview Question - Python Tutorial for Beginners (Interactive and Auto-graded)

622 views

5 years ago

RK Keynotes
Insert Learning Demo | How to Create Interactive Lesson with Insert Learning | Blended Learning

InsertLearning #BlendedLearning #CreateYourLesson In this video, I have shown how to create lessons with Insert Learning ...

6:32
Insert Learning Demo | How to Create Interactive Lesson with Insert Learning | Blended Learning

685 views

5 years ago