There are no reviews yet. Be the first to send feedback to the community and the maintainers!
lean.nvim
neovim support for the Lean theorem provervim-textobj-variable-segment
A text object to turn foo_bar_baz into foo_baz *and* quuxSpamEggs into quuxEggs *and* shine your shoesawesome-bugs
A collection of bizarre, funny or obscure bugs in our software and hardwareIvoire
A simple BDD testing framework for Pythondotfiles
A work in progress. Forever.tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem ProverSeep
A transformation and data extraction language on top of JSON Schemaavif
Python (CFFI) bindings for libavifvenvs
venvs creates virtualenvsregret
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 bandwagonhomebrew-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 gotveb
Dynamically allocated van Emde Boas treespython-musicalsort
A *very* basic musical sort decorator / demo modulelean-unicode.vim
Unicode translation (of e.g. \l to ← as in other Lean environments), for (n)vimfindme
CLI for hypothesis.findhypothesis-protobuf
Hypothesis support for generating Protobuf Messages and instances thereoflean-across-the-board
An attempt to learn Lean via implementing a theorem (hopefully more) from Across the Board. Progress will be... slow.txjsonrpc-tcp
A TCP implementation of JSON RPC for Twistedml-crash-course
Materials for a Machine Learning Crash Course Given at Columbia UniversityFilesystems
A filesystem abstraction layerBuildingAnInterpreter
Virtue
A modern, extensible, unittest-compliant test runner.setup-lean
Set up your GitHub Actions workflow with elan and/or a specific version of Leantxdatadog
Datadog statsd APIs for TwistedGreat
A ratings aggregatorcast-cli
A simple CLI for pychromecast.L
In 2015, another `ls`libopenzwave-cffi
OpenZWave CFFI Bindingsregress
Python bindings to the Rust regress crate (for Javascript regular expressions)sphinxcontrib-githubcomments
Pi
Installation and setup for my RPipb
giraffe
A small python graph library.eocs
svmlight-loader
A Cython-less implementation of the svmlight / libsvm sparse data formatlibraw-cffi
CFFI bindings for LibRawvim-textobj-assignment
A text object for variable assignmentsStylish
CSS User StylesCondent
A quick hack I threw together to reindent and respace containers the way I like them (e.g. for equalprg in Vim)Movies
Movie listsnamed-branch-action
hg-style named branches via a GitHub actionpeople-I-mostly-admire
aiodocker-test
generatingfunctionology.lean
runt.nvim
Find corresponding test files given your source fileLove Open Source and this site? Check out how you can help us