mk12/vim-lean mk12/vim-lean

  • Stars
    star
    13
  • Rank 1,512,713 (Top 30 %)
  • Language
    Vim Script
  • License
    Apache License 2.0
  • Created over 8 years ago
  • Updated about 3 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
mk12/vim-lean
github

mk12

Reviews

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

Repository Details

Lean Theorem Prover plugin for Vim.

More Repositories

1

sicp

Study of the Wizard Book.
Scheme
18
star
2

mycraft

Just another Minecraft clone.
Java
17
star
3

luminosity

A simple and elegant ray tracer.
Haskell
12
star
4

table-extract

Rust library for extracting data from HTML tables.
Rust
8
star
5

analysis-i

Formalization of proofs from Analysis I in the Coq and Lean.
Lean
7
star
6

morse

Command-line tool for morse code translation.
C
5
star
7

lindenmayer

Web app that renders fractal curves.
Go
4
star
8

caesar

Cracks messages encrypted with the Caesar cipher using frequency analysis.
Go
4
star
9

fish-fzf

Yet another fzf plugin for Fish.
Shell
4
star
10

squash-reminder

Chrome extension that reminds you to squash your PRs.
JavaScript
3
star
11

aoc

Solutions to Advent of Code problems.
J
3
star
12

aes

A simple online AES decryption tool.
CSS
3
star
13

minster

Westminster chimes for your computer.
Shell
2
star
14

spa

Simple Proof Assistant: helps you prove theorems.
C++
2
star
15

linecraft

A simulation inspired by Flatland: A Romance of Many Dimensions.
JavaScript
2
star
16

mira

A fun and simple communication app.
Vue
2
star
17

web-math-demo

A web app that compares MathJax, KaTeX, and MathML rendering from AsciiMath and TeX.
JavaScript
2
star
18

chaos

Chaos theory visualization tool.
C
2
star
19

euler

Solutions to Project Euler problems in C++, Haskell, Clojure, Julia, and Rust.
C++
2
star
20

algorithms

Implementations of algorithms discussed on my blog.
Racket
1
star
21

vsepr

Visualizes molecular shape by simulating electron pairs in 3D.
Processing
1
star
22

notes4u

High school notes for Chemistry, Physics, and Calculus & Vectors.
Lua
1
star
23

parse

A simple, flexible tool for I/O and parsing in small Go (or C) programs.
C
1
star
24

eva

The preferred Scheme interpreter of Eva Lu Ator.
C
1
star
25

scripts

An assorted collection of scripts.
C++
1
star
26

rainbowterm

A tool for managing iTerm2 color schemes.
Python
1
star
27

blog

My personal blog.
TypeScript
1
star
28

mini-pinions

pinion: (literary) a bird's wing as used in flight.
Clojure
1
star
29

iosevka-mk

My custom version of the Iosevka font.
Shell
1
star
30

base16-solarized-scheme

A more accurate Solarized scheme for Base16.
1
star
31

llvm-life

Conway's Game of Life implemented in LLVM assembly.
LLVM
1
star