Research on integrating datalog & lambda calculus via monotonicity types

A collection of restaurants in and around Princeton that I like. There are also some tips about free food around campus

The Ott tool for writing definitions of programming languages and calculi

Metaprogramming, verified meta-theory and implementation of Coq in Coq

Browser extension that simplifies the GitHub interface and adds useful features

Create beautiful diagrams just by typing notation in plain text.

Windows alt-tab on macOS

A web privacy measurement framework

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…

The Python programming language

Privacy browser extension for opting out from web tracking via GPC

poliastro - 🚀 Astrodynamics in Python

Generate a privacy policy for your iOS app quickly and automatically