Julian/lean-across-the-board Julian/lean-across-the-board

  • Stars
    star
    3
  • Rank 3,963,521 (Top 79 %)
  • Language Lean
  • License
    MIT License
  • Created about 4 years ago
  • Updated about 1 month ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Julian/lean-across-the-board
github

Julian

Reviews

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

Repository Details

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

More Repositories

1

lean.nvim

neovim support for the Lean theorem prover
Lua
256
star
2

vim-textobj-variable-segment

A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoes
Vim Script
147
star
3

awesome-bugs

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

Ivoire

A simple BDD testing framework for Python
Python
60
star
5

dotfiles

A work in progress. Forever.
Vim Script
43
star
6

tree-sitter-lean

Experimental tree-sitter parser for the Lean (4) Theorem Prover
C
28
star
7

Seep

A transformation and data extraction language on top of JSON Schema
Python
25
star
8

avif

Python (CFFI) bindings for libavif
Python
16
star
9

venvs

venvs creates virtualenvs
Python
16
star
10

regret

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

vim-textobj-brace

A text object for the closest inner () {} *or* []
Vim Script
13
star
12

PyVi

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

lftim

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

til

Joining the TIL bandwagon
CSS
8
star
15

homebrew-tap

Homebrew Formulae I'm Tired of Maintainin'
Ruby
7
star
16

cardboard

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

Minion

A microframework based on evil intentions and whatever else you've got
Python
6
star
18

veb

Dynamically allocated van Emde Boas trees
Python
5
star
19

python-musicalsort

A *very* basic musical sort decorator / demo module
Python
4
star
20

lean-unicode.vim

Unicode translation (of e.g. \l to โ† as in other Lean environments), for (n)vim
Vim Snippet
3
star
21

findme

CLI for hypothesis.find
Python
3
star
22

hypothesis-protobuf

Hypothesis support for generating Protobuf Messages and instances thereof
Python
3
star
23

txjsonrpc-tcp

A TCP implementation of JSON RPC for Twisted
Python
2
star
24

ml-crash-course

Materials for a Machine Learning Crash Course Given at Columbia University
Jupyter Notebook
2
star
25

Filesystems

A filesystem abstraction layer
Python
2
star
26

BuildingAnInterpreter

2
star
27

Virtue

A modern, extensible, unittest-compliant test runner.
Python
2
star
28

setup-lean

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

txdatadog

Datadog statsd APIs for Twisted
Python
2
star
30

Great

A ratings aggregator
Python
1
star
31

cast-cli

A simple CLI for pychromecast.
Python
1
star
32

L

In 2015, another `ls`
Python
1
star
33

libopenzwave-cffi

OpenZWave CFFI Bindings
Python
1
star
34

composition

What You Crave
Python
1
star
35

regress

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

sphinxcontrib-githubcomments

Clojure
1
star
37

Pi

Installation and setup for my RPi
Dockerfile
1
star
38

pb

Python
1
star
39

giraffe

A small python graph library.
C
1
star
40

eocs

Python
1
star
41

svmlight-loader

A Cython-less implementation of the svmlight / libsvm sparse data format
Python
1
star
42

libraw-cffi

CFFI bindings for LibRaw
Python
1
star
43

vim-textobj-assignment

A text object for variable assignments
Vim Script
1
star
44

Stylish

CSS User Styles
CSS
1
star
45

Condent

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

Movies

Movie lists
1
star
47

named-branch-action

hg-style named branches via a GitHub action
Dockerfile
1
star
48

people-I-mostly-admire

1
star
49

aiodocker-test

Python
1
star
50

generatingfunctionology.lean

Lean
1
star
51

runt.nvim

Find corresponding test files given your source file
Lua
1
star