pavpanchekha

Pavel Panchekha's repositories

pylisp

A small lisp written in Python

Language:PythonGPL-3.028 4 3

keylogger.el

A library that records Emacs inter-key timings.

Language:JavaScript1000

bitrate-lab

Laboratory for bit-rate selection algorithms

Language:CMIT700

oranj

A Pythonic dynamic programming language

Language:PythonGPL-3.06 3 12

latin

Conjugation and declention tools for latin speakers (in python)

Language:Python5 30

tullok

Web-based MySQL database manager

300

BCAMathTournament

Problem submissions for the BCA Math Tournament

Language:PHP200

coq-server.el

An Emacs script to run Coq remotely

Language:Emacs Lisp2 2 1

fine

A function-intentional programming language

Language:JavaScript200

Forp

A new lisp-inspired programming language

Language:Python200

org-project

An Org-mode export theme for Literate Programs

Language:CSS200

tests

A lightweight testing framework for commandline apps

Language:Python200

center-text.el

Center text in Emacs into a fixed-width column

Language:Emacs Lisp100

MiniOperators

MiniOperators |provides_new_operators_for| Python

Language:PythonGPL-3.01 20

6858-project

Progressive authentication for Linux

Language:C000

blazeit

A proof assistant.

Language:CNOASSERTION000

Eigenvalue-Game

An JS implementation of Matlab's Eigenvalue Game

Language:JavaScript000

macropy

Macros in Python: quasiquotes, case classes, LINQ and more!

Language:Python000

mathjs

An extensive math library for JavaScript and Node.js

Language:JavaScriptApache-2.0020

movie-server

Serve media from armless computers

Language:Python020

Omengle

Omegle for the polyglot-challenged

Language:Python020

oranj-support

Support libraries for oranj for third-party libraries

Language:Python030

poker.cc-lsp

The final Nevard assignment; or, how to fail CS2

Language:C++NOASSERTION020

rust

a safe, concurrent, practical language

Language:RustNOASSERTION020

simple.tex

Simple tex style for throwaway text

Language:TeX030