DavidLeoni

mypy

Optional static typing for Python

jupytext

Jupyter Notebooks as Markdown Documents, Julia, Python or R scripts

cryptpad

Collaborative office suite, end-to-end encrypted and open-source.

voila

Voilà turns Jupyter notebooks into standalone web applications

coconut

Simple, elegant, Pythonic functional programming.

armory

3D Engine with Blender Integration

pyrsistent

Persistent/Immutable/Functional data structures for Python

plfa.github.io

An introduction to programming language theory in Agda

nbsphinx

:ledger: Sphinx source parser for Jupyter notebooks

mm0

Metamath Zero specification language

atlas

OSM in memory

matchpy

A library for pattern matching on symbolic expressions in Python.

plasma

Plasma Programming Language

l10n-italy

Odoo Italian localization

forkphorus

JavaScript compiler for Scratch 3, 2, and 1 projects.

pyrthon

Literal support for Pyrsistent data structures in Python

pyscrlink

Scratch-link for Linux written in python

kurt

Python library for reading/writing MIT's Scratch file format.

stax

A functional standard library for HaXe, loaded with a full stack of features.

pygame4skulpt

Partial Pygame port to the Skulpt implementation of Python

jyve

Jupyer Kernels, right inside JupyterLab

deepstate

An immutable state container for Haxe 4, similar to Redux.

dojo-slides

Slides degli eventi di Pisa CoderDojo

pycrocosm

OSM API v0.6 implemented in Django/Python

botch-gui

Scratch 3.0 mod for evolutionary computation (VERY MUCH IN-PROGRESS)

botch-vm

Scratch 3.0 mod for evolutionary computation (VERY MUCH IN-PROGRESS)

TurtleIt

Project to enable (young) learners to write (basic) instructions in a google doc and run it through Python Turtle, abstracting a lot of the issues attendant with children coding.

pgmap

SWIG module for accessing pycrocosm's postgis OSM map GIS schema.

tutorial-geoqr-html

JSPlot

On-the-fly converting Python code into Javascript Graphs in Jupyter Notebooks