Julian/lean-across-the-board

Stars
3
Rank 3,963,521 (Top 79 %)
Language Lean
License
MIT License
Created about 4 years ago
Updated about 2 months ago

Julian/lean-across-the-board

Julian

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

An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.

lean.nvim

neovim support for the Lean theorem prover

vim-textobj-variable-segment

A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes

awesome-bugs

A collection of bizarre, funny or obscure bugs in our software and hardware

Ivoire

A simple BDD testing framework for Python

dotfiles

A work in progress. Forever.

tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover

Seep

A transformation and data extraction language on top of JSON Schema

avif

Python (CFFI) bindings for libavif

venvs

venvs creates virtualenvs

regret

You made a thing, but now you wish it'd go away... Deprecations, a love story.

vim-textobj-brace

A text object for the closest inner () {} *or* []

PyVi

A library for integrating Vim-like buffers, windows, and keybindings into your Python application.

lftim

Mathematical learnings with Lean, for those of us who wish we knew more of both!

til

Joining the TIL bandwagon

homebrew-tap

Homebrew Formulae I'm Tired of Maintainin'

cardboard

Cardboard is a Magic: The Gathering game engine written in Python.

Minion

A microframework based on evil intentions and whatever else you've got

veb

Dynamically allocated van Emde Boas trees

python-musicalsort

A *very* basic musical sort decorator / demo module

lean-unicode.vim

Unicode translation (of e.g. \l to ← as in other Lean environments), for (n)vim

findme

CLI for hypothesis.find

hypothesis-protobuf

Hypothesis support for generating Protobuf Messages and instances thereof

txjsonrpc-tcp

A TCP implementation of JSON RPC for Twisted

ml-crash-course

Materials for a Machine Learning Crash Course Given at Columbia University

Jupyter Notebook

Filesystems

A filesystem abstraction layer

BuildingAnInterpreter

Virtue

A modern, extensible, unittest-compliant test runner.

setup-lean

Set up your GitHub Actions workflow with elan and/or a specific version of Lean

txdatadog

Datadog statsd APIs for Twisted

Great

A ratings aggregator

cast-cli

A simple CLI for pychromecast.

L

In 2015, another `ls`

libopenzwave-cffi

OpenZWave CFFI Bindings

composition

regress

Python bindings to the Rust regress crate (for Javascript regular expressions)

sphinxcontrib-githubcomments

Pi

Installation and setup for my RPi

pb

giraffe

A small python graph library.

eocs

svmlight-loader

A Cython-less implementation of the svmlight / libsvm sparse data format

libraw-cffi

CFFI bindings for LibRaw

vim-textobj-assignment

A text object for variable assignments

Stylish

CSS User Styles

Condent

A quick hack I threw together to reindent and respace containers the way I like them (e.g. for equalprg in Vim)

Movies

named-branch-action

hg-style named branches via a GitHub action

people-I-mostly-admire

aiodocker-test

generatingfunctionology.lean

runt.nvim

Find corresponding test files given your source file