pavpanchekha/nightly-runner

Stars
2
Language
Python
Created over 6 years ago
Updated 2 months ago

pavpanchekha/nightly-runner

pavpanchekha

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

Run nightly, more expensive tests for several repositories

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

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