pavpanchekha

Pavel Panchekha's repositories

dropbox.el

Dropbox for Emacs

Language:Emacs LispGPL-3.058 5 9

setup-z3

Install the Z3 binary in Github Actions

Language:JavaScript11 4 5

dotfiles

Personal configuration files

Language:Python1000

complex-plotter

A plotter for complex functions

Language:Python3 4 3

cf-demo

Demo of the Checker Framework for Java

Language:Java200

nightly-runner

Run nightly, more expensive tests for several repositories

Language:Python2 1 1

typed.py

Inquisitive Types and Multiple Dispatch for Python

Language:PythonGPL-3.02 20

CLIArgs

Absolutely Trivial Command-Line Arguments

Language:PythonGPL-3.0100

resume.tex

A pretty resume template for LaTeX

Language:TeX1 30

crossbot

A slackbot to compete on mini crosswords (or any other daily challenge).

Language:PythonMIT010

cs3550-ta-test

Language:Python010

deadbot

Deadline slack bot

Language:PythonMIT004

dthreads

Language:C010

egg

egraphs in rust

Language:RustMIT010

files.py

Python file and path manipulation

Language:Python000

FPTuner

Rigorous Floating-Point Mixed-Precision Tuner

Language:PythonMIT010

gjs2html

Convert the problem sets of Gerald Jay Sussman to HTML

Language:HTML000

math

Language:Racket010

megalibm

000

nightly-test

A test repo for my nightly runner

Language:Shell000

notebook

Jupyter Interactive Notebook

Language:JavaScriptNOASSERTION000

profile

Language:RacketNOASSERTION010

racket

The Racket repository

Language:SchemeNOASSERTION010

Robinhood

Python Framework to make trades with Robinhood Private API

Language:PythonMIT010

serenity

The Serenity Operating System 🐞

BSD-2-Clause000

skia

Skia is a complete 2D graphic library for drawing Text, Geometries, and Images.

Language:C++BSD-3-Clause010

skia-python

Python binding to Skia Graphics Library

BSD-3-Clause000

snake-egg

Python bindings for egg

Language:RustMIT000

softposit-rkt

Softposit bindings for racket

Language:C000

xl2fpcore

Converts Excel formulas to FPCore expressions

Language:F#BSD-2-Clause010