Name: Pavel Panchekha
Type: User
Company: University of Utah School of Computing
Bio: University of Utah professor building new web browsers using programming languages techniques.
Twitter: pavpanchekha
Location: Salt Lake City, UT
Blog: http://pavpanchekha.com
Pavel Panchekha's Projects
Progressive authentication for Linux
Problem submissions for the BCA Math Tournament
Laboratory for bit-rate selection algorithms
A proof assistant.
Center text in Emacs into a fixed-width column
Demo of the Checker Framework for Java
Absolutely Trivial Command-Line Arguments
A plotter for complex functions
An Emacs script to run Coq remotely
A slackbot to compete on mini crosswords (or any other daily challenge).
Deadline slack bot
Personal configuration files
Dropbox for Emacs
egraphs in rust
An JS implementation of Matlab's Eigenvalue Game
Python file and path manipulation
A function-intentional programming language
A new lisp-inspired programming language
Rigorous Floating-Point Mixed-Precision Tuner
Convert the problem sets of Gerald Jay Sussman to HTML
A library that records Emacs inter-key timings.
Conjugation and declention tools for latin speakers (in python)
Macros in Python: quasiquotes, case classes, LINQ and more!
An extensive math library for JavaScript and Node.js
MiniOperators |provides_new_operators_for| Python
Serve media from armless computers