Aucune description

chao 25f03c9df7 domain il y a 1 mois
block 3ee85dccfa first il y a 1 mois
blockly 3ee85dccfa first il y a 1 mois
docs 731fd79768 update il y a 4 ans
fonts 731fd79768 update il y a 4 ans
gif 731fd79768 update il y a 4 ans
icons 85f3085f42 update il y a 1 mois
images 3ee85dccfa first il y a 1 mois
js_libs 3ee85dccfa first il y a 1 mois
libs 3ee85dccfa first il y a 1 mois
materialize 3ee85dccfa first il y a 1 mois
msg 3ee85dccfa first il y a 1 mois
src 85f3085f42 update il y a 1 mois
static 3ee85dccfa first il y a 1 mois
tests 731fd79768 update il y a 4 ans
ya-webadb 25f03c9df7 domain il y a 1 mois
.DS_Store 731fd79768 update il y a 4 ans
.gitignore 3ee85dccfa first il y a 1 mois
.gitmodules 731fd79768 update il y a 4 ans
20190114_python-blockly_plotting-temp-data.py 731fd79768 update il y a 4 ans
BLE.html 3ee85dccfa first il y a 1 mois
JSZip.js 3ee85dccfa first il y a 1 mois
LICENSE 731fd79768 update il y a 4 ans
README.md 731fd79768 update il y a 4 ans
ardublockly.css 3ee85dccfa first il y a 1 mois
ardublockly_blockly.js 731fd79768 update il y a 4 ans
ardublockly_lang.js 3ee85dccfa first il y a 1 mois
ardublockly_toolbox.js 731fd79768 update il y a 4 ans
ardublocklyserver_ajax.js 731fd79768 update il y a 4 ans
blockly.zip 25f03c9df7 domain il y a 1 mois
changelog.md 731fd79768 update il y a 4 ans
cocoblockly.css 3ee85dccfa first il y a 1 mois
crc32.js 3ee85dccfa first il y a 1 mois
data.json 3ee85dccfa first il y a 1 mois
engine_test.html 731fd79768 update il y a 4 ans
example_server.py 731fd79768 update il y a 4 ans
favicon.ico 731fd79768 update il y a 4 ans
getToken.js 85f3085f42 update il y a 1 mois
index.css 3ee85dccfa first il y a 1 mois
index.html 81e693f714 update il y a 1 mois
index.js 25f03c9df7 domain il y a 1 mois
instructor_api_documentation.py 731fd79768 update il y a 4 ans
loading.gif 3ee85dccfa first il y a 1 mois
makefile 731fd79768 update il y a 4 ans
manifest.webmanifest 3ee85dccfa first il y a 1 mois
md.html 3ee85dccfa first il y a 1 mois
merge.py 731fd79768 update il y a 4 ans
modernizr.css 731fd79768 update il y a 4 ans
package-lock.json 3ee85dccfa first il y a 1 mois
package.json 731fd79768 update il y a 4 ans
platform.js 731fd79768 update il y a 4 ans
replay.html 731fd79768 update il y a 4 ans
server.js 731fd79768 update il y a 4 ans
tcpip.html 3ee85dccfa first il y a 1 mois
toCNChecklist.md 731fd79768 update il y a 4 ans
todo.txt 731fd79768 update il y a 4 ans
toolbox_tree.css 731fd79768 update il y a 4 ans
train_cocopi.css 3ee85dccfa first il y a 1 mois
train_cocopi.html 3ee85dccfa first il y a 1 mois
train_cocopi.js 3ee85dccfa first il y a 1 mois
treeCompTest.html 731fd79768 update il y a 4 ans
uform.js 3ee85dccfa first il y a 1 mois
update.json 3ee85dccfa first il y a 1 mois
vue.js 3ee85dccfa first il y a 1 mois
web.html 3ee85dccfa first il y a 1 mois
webble.js 3ee85dccfa first il y a 1 mois

README.md

corgis-blockly

CORGIS BlockPy

BlockPy is a web-based Python environment that lets you work with blocks, text, or both. Designed for Data Science and equipped with powerful tools like the State Explorer and Guided Feedback, the goal of BlockPy is to let you solve authentic, real-world problems.

The goal of BlockPy is to give you a gentle introduction to Python but eventually mature you into a more serious programming environment (such as Spyder or PyCharm). Long-term, we may support some game/animation design stuff that Scratch/Snap does, but that's not the real goal.

The BlockPy project is aimed at solving some hard technical problems: having a block-based environment for a dynamic language can be tricky - are a given pair of square brackets representing list indexing or dictionary indexing? Our goal is to use advanced program analysis techniques to provide excellent support to learners.

Overview

The core architecture of BlockPy is a synthesis of:

  • Blockly: a visual library for manipulating a block canvas that can generate equivalent textual code in a variety of languages
  • Skulpt: an in-browser Python-to-JavaScript compiler/intepreter, that aims to emulate the full language with precision if not speed.

By combining these two technologies, we end up with a powerful system for writing Python code quickly. Everything is meant to run locally in the client, so there's no complexity of sandboxing students' code on the server.

The major innovations are:

  • PythonToBlocks: by parsing the AST generated by Skulpt, we can build equivalent Blockly code, effectively allowing round-trips between text and blocks.
  • CORGIS Datsets: new blocks access real-world datasets (although currently these are only cached versions, for performance reasons).
  • Interactive Guided Problems: Problem text is given to students, along with teacher provided code that can do analysis on the students' code and make suggestions (e.g., observing that they haven't printed anything yet).
  • Data Explorer: The data explorer allows users to walk through their code.

Installation

First, clone it locally. This could take a little while.

> git clone https://github.com/RealTimeWeb/blockpy.git

You'll need to build Skulpt and Blockly. Both of these depend on the Closure Compiler, so you'll need to put that in the empty closure-library folder. You can follow the Blockly instructions here , but the gist will be:

> wget https://github.com/google/closure-library/zipball/master -O closure.zip
> unzip closure.zip

CD into the new blockpy directory

> cd blockpy/

And add the relevant subtree information to your .git/config:

> vi .git/config

Replace the contents of that file with the information found here: http://pastebin.com/raw/QWpJjgU3 (TODO: show the actual commands used to set this)

Next, you'll need to build Blockly:

> cp blockly/msg/en.js en.js
> cd blockly
> python build.py
> cd ..
> mv en.js blockly/msg/en.js

And then you'll build Skulpt:

> cd skulpt
> python skulpt.py dist
> cd ..

If you are on windows, you may encounter the message "No gzip executable", you can safely ignore this.

And now you should be able to try out the example file!

> start blockpy_new.html

The server has its own requirements.txt and uses a python manage.py runserver

If you make edits to either Blockly or Skulpt, you'll need to rerun their build commands. Simiarly, if you edit src/interface.html than you'll need to rebuild it:

> python build.py

Otherwise, you should be able to edit the src/*.js files freely. To get a sense of the dependencies, check out the blockpy_new.html file and then the src/main.js file. These should be good starting points.

Commands

Both Blockly and Skulpt are subtrees.

Push changes to the subtrees' repos:

> git subtree push --prefix=skulpt/ --squash skulpt master
> git subtree push --prefix=blockly/ --squash blockly master
> git subtree push --prefix=server/ --squash server master
> git subtree push --prefix=server/static/blockly-games --squash blockly_games master

Pull changes from upstream repos (e.g., official Blockly and Skulpt, our production server):

> git subtree pull --prefix=skulpt --squash skulpt_upstream master
> git subtree pull --prefix=blockly --squash blockly_upstream master
> git subtree pull --prefix=server --squash server master
> git subtree pull --prefix=server/static/blockly-games --squash blockly_games master

Note: if you get an error about a "fatal entry", make sure you don't have a trailing slash on the prefix!