Popular repositories Loading

1. denicek denicek Public

   📓 A computational substrate for end-user document-oriented programming. Denicek makes it easy to implement programming experiences like collaborative editing and programming by demonstration.

   F# 10 1

2. red-pandas red-pandas Public

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

   Jupyter Notebook 3

3. design-choices design-choices Public

   ✒️ Paper draft "Design Choices of Document-Oriented Programming Systems" which refines the Technical Dimensions of Programming Systems framework for a specific kind of systems.

   TeX 3 1

4. denicek-paper denicek-paper Public

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

   TeX 2

5. choose-your-own-adventure choose-your-own-adventure Public

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

   TeX 2

6. challenge-problems challenge-problems Public

   📄 Paper "Schema Evolution in Interactive Programming Systems" published in <Programming> 2025

   TeX 1