Repositories list

• vscode-jshell

  Public
  JShell extension for VSCode

  TypeScript

  •

  MIT License

  •0•0•1•0•Updated Dec 5, 2025Dec 5, 2025

• programming-styles-starter

  Public template
  Starter repository for the labs of the "Programming Styles" course at USI

  javascriptjavaeducation+ 1functional-programming

  Shell

  •0•0•0•0•Updated Nov 24, 2025Nov 24, 2025

• pytamaro

  Public
  Educational library for Python to teach programming using graphics

  pythonlearningeducation+ 1graphics

  Python

  •

  MIT License

  •5•10•5•0•Updated Nov 10, 2025Nov 10, 2025

• jtamaro

  Public
  Educational library designed for our "Composition in Java" textbook

  javalearningeducation+ 2monadsgraphics

  Java

  •

  MIT License

  •0•2•1•0•Updated Sep 1, 2025Sep 1, 2025

• 2025-teacher-misconceptions

  Public
  Code related to the ICER 2025 paper "Surveying Upper-Secondary Teachers on Programming Misconceptions"

  Jupyter Notebook

  •0•0•0•0•Updated May 30, 2025May 30, 2025

• programming-styles-pipeline-haskell-starter

  Public template
  Starter repository for the "Programming Styles" course at USI, specific for the Pipeline style in Haskell

  Haskell

  •0•0•0•0•Updated Jan 10, 2025Jan 10, 2025

• 20xx-proposal-template

  Public template
  TeX

  •0•0•0•0•Updated Nov 21, 2024Nov 21, 2024

• Paper-Sound-Notional-Machines

  Public
  TeX

  •0•1•0•0•Updated Nov 11, 2024Nov 11, 2024

• judicious

  Public
  Pedagogical documentation system for Python

  pythonapieducation+ 1documentation

  TypeScript

  •

  MIT License

  •0•0•0•0•Updated Oct 24, 2024Oct 24, 2024

• react-expression-tree-math

  Public
  React component that renders interactive expression trees.

  JavaScript

  •

  MIT License

  •1•0•0•0•Updated Sep 24, 2024Sep 24, 2024

• sound-notional-machines

  Public
  Foundations for correct-by-construction notional machines

  Haskell

  •0•1•4•0•Updated Jul 1, 2024Jul 1, 2024

• tree-example

  Public
  Java

  •0•0•0•0•Updated Dec 12, 2023Dec 12, 2023

• expression-tutor-activity-generator

  Public
  GItHub Action for generating activities

  Shell

  •0•0•2•0•Updated May 24, 2023May 24, 2023

• react-expression-tree

  Public
  React component that renders interactive expression trees.

  react

  JavaScript

  •

  MIT License

  •1•1•17•0•Updated Mar 26, 2023Mar 26, 2023

• scratch-chrome-plugin

  Public
  JavaScript

  •

  MIT License

  •0•0•4•0•Updated Jan 30, 2023Jan 30, 2023

• splashe-22-expressions-java

  Public
  Artifacts related to the SPLASH-E 2022 paper "Expressions in Java: Essential, Prevalent, Neglected?"

  Java

  •0•0•0•0•Updated Oct 19, 2022Oct 19, 2022

• 20xx-master-template

  Public
  TeX

  •0•2•0•0•Updated Jun 1, 2022Jun 1, 2022

• expression-tutor-accessibility-tool

  Public
  Python

  •0•0•0•0•Updated Jun 24, 2021Jun 24, 2021

• python-react-tagging-standalone

  Public
  TypeScript

  •1•0•14•0•Updated Jun 15, 2021Jun 15, 2021

• 20xx-bachelor-template

  Public
  TeX

  •0•0•0•0•Updated Mar 1, 2021Mar 1, 2021