pavpanchekha/pylisp

Stars
28
Rank 882,216 (Top 18 %)
Language
Python
License
GNU General Publi...
Created almost 15 years ago
Updated about 9 years ago

pavpanchekha/pylisp

pavpanchekha

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A small lisp written in Python

dropbox.el

Dropbox for Emacs

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