Repositories list

• denicek

  Public
  :notebook: A computational substrate for end-user document-oriented programming. Denicek makes it easy to implement programming experiences like collaborative e…

  F#

  •

  MIT License

  •11 fork•88 stars•00 issues•00 pull requests•Updated Jun 7, 2026Jun 7, 2026

• choose-your-own-adventure

  Public
  :black_nib: A work-in-progress paper draft "The Choose-your-own-adventure calculus". Based on a blog post linked below.

  TeX

  •00 forks•22 stars•00 issues•00 pull requests•Updated May 16, 2026May 16, 2026

• cyoa-experiments

  Public
  :alembic: Experimental evaluation of the LLM-based autocompletion mechanism for Choose-your-own-adventure calculus

  Jupyter Notebook

  •11 fork•11 star•00 issues•00 pull requests•Updated May 13, 2026May 13, 2026

• timeline-paper

  Public
  TeX

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 18, 2026Mar 18, 2026

• vega-semantics-demo

  Public
  HTML

  •00 forks•00 stars•00 issues•00 pull requests•Updated Jan 29, 2026Jan 29, 2026

• red-pandas

  Public
  :panda_face: Work in progress project, exploring ideas around type systems for data-centric programs such as Python scripts using the pandas library.

  Jupyter Notebook

  •00 forks•33 stars•33 issues•00 pull requests•Updated Oct 15, 2025Oct 15, 2025

• design-choices

  Public
  :black_nib: Paper draft "Design Choices of Document-Oriented Programming Systems" which refines the Technical Dimensions of Programming Systems framework for a …

  TeX

  •11 fork•33 stars•00 issues•00 pull requests•Updated Oct 1, 2025Oct 1, 2025

• denicek-paper

  Public
  :page_facing_up: Paper "Denicek: Computational Substrate for Document-Oriented End-User Programming" published at UIST 2025.

  TeX

  •00 forks•22 stars•00 issues•00 pull requests•Updated Aug 6, 2025Aug 6, 2025

• abm-sheets

  Public
  00 forks•00 stars•33 issues•00 pull requests•Updated Mar 17, 2025Mar 17, 2025

• challenge-problems

  Public
  :page_facing_up: Paper "Schema Evolution in Interactive Programming Systems" published in <Programming> 2025

  TeX

  •00 forks•11 star•00 issues•00 pull requests•Updated Nov 6, 2024Nov 6, 2024

• metablocks

  Public
  :large_blue_diamond: Exploring the idea of notational freedom in the context of Block-based langauges. What if you could define a block-based language using a b…

  JavaScript

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Oct 22, 2024Oct 22, 2024

• pygmalion-reconstruction

  Public
  A reimplementation of some of the ideas that Pygmalion used.

  F#

  •

  MIT License

  •11 fork•00 stars•00 issues•00 pull requests•Updated Jul 18, 2024Jul 18, 2024