Pavel Panchekha

dropbox.el. Dropbox for Emacs

pylisp. A small lisp written in Python

dotfiles. Personal configuration files

setup-z3. Install the Z3 binary in Github Actions

keylogger.el. A library that records Emacs inter-key timings.

bitrate-lab. Laboratory for bit-rate selection algorithms

oranj. A Pythonic dynamic programming language

latin. Conjugation and declention tools for latin speakers (in python)

tullok. Web-based MySQL database manager

complex-plotter. A plotter for complex functions

nightlies. Run nightly, more expensive tests for several repositories

coq-server.el. An Emacs script to run Coq remotely

org-project. An Org-mode export theme for Literate Programs

typed.py. Inquisitive Types and Multiple Dispatch for Python

fine. A function-intentional programming language

tests. A lightweight testing framework for commandline apps

BCAMathTournament. Problem submissions for the BCA Math Tournament

cf-demo. Demo of the Checker Framework for Java

Forp. A new lisp-inspired programming language

CLIArgs. Absolutely Trivial Command-Line Arguments

MiniOperators. MiniOperators |provides_new_operators_for| Python

center-text.el. Center text in Emacs into a fixed-width column

vibe-edit. A test text editor, entirely vibe-coded

resume.tex. A pretty resume template for LaTeX