Issue 084: Spreadsheets

nilenso/bean

A Spreadsheet Playground

Cheatsheet - DSPy

The framework for programming—rather than prompting—language models.

The Interface of Kai Krause's Software @mprove

Matthias Müller-Prove, Innovative Benutzungsschnittstellen, 1998/99, University of Hamburg

Gabriella439/grace

A prompt engineering functional programming language

Old and new apps, via modern coding agents

I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear alge…

IronCalc

IronCalc is a spreadsheet engine and ecosystem.

Open-sourcing Keyhive, filtering Ambsheets, and Sketchpad explorations

Some updates from our ongoing work on local-first auth, a new post from our Ambsheets project about filtering scenarios in a spreadsheet, and some explorations of the historic Sketchpad project for constraint-based drawing.

Denicek: Computational Substrate for Document-Oriented End-User Programming

As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.

Programming Language Foundations in Agda – Table of Contents

This book is an introduction to programming language theory using the proof assistant Agda.

The Spoofax language workbench | Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion

As part of the Digital Library's transition to Open Access, new features for researchers are available in the Premium Edition. Click here to learn more.