Discover @pavpanchekha Open Source projects

Pavel Panchekha (@pavpanchekha)

pavpanchekha

Stars
164
Global Rank 143,784 (Top 5 %)
Followers 209
Following 2
Registered about 16 years ago
Most used languages

Python
50.0 %

JavaScript
13.6 %

Emacs Lisp
13.6 %

CSS
4.5 %

C
4.5 %

Java
4.5 %

PHP
4.5 %

TeX
4.5 %
Location 🇺🇸 United States
Country Total Rank 34,256
Country Ranking

Emacs Lisp
229

TeX
5,949

C
9,633

dropbox.el

Dropbox for Emacs

pylisp

A small lisp written in Python

setup-z3

Install the Z3 binary in Github Actions

dotfiles

Personal configuration files

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)

complex-plotter

A plotter for complex functions

tullok

Web-based MySQL database manager

Forp

A new lisp-inspired programming language

nightly-runner

Run nightly, more expensive tests for several repositories

org-project

An Org-mode export theme for Literate Programs

tests

A lightweight testing framework for commandline apps

typed.py

Inquisitive Types and Multiple Dispatch for Python

coq-server.el

An Emacs script to run Coq remotely

cf-demo

Demo of the Checker Framework for Java

fine

A function-intentional programming language

BCAMathTournament

Problem submissions for the BCA Math Tournament

center-text.el

Center text in Emacs into a fixed-width column

CLIArgs

Absolutely Trivial Command-Line Arguments

MiniOperators

MiniOperators |provides_new_operators_for| Python

resume.tex

A pretty resume template for LaTeX