DenisGorbachev/vscode-lean4-code-actions DenisGorbachev/vscode-lean4-code-actions

  • Stars
    star
    5
  • Rank 2,861,937 (Top 57 %)
  • Language
    TypeScript
  • License
    MIT License
  • Created over 1 year ago
  • Updated 7 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
DenisGorbachev/vscode-lean4-code-actions
github

DenisGorbachev

Reviews

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

Repository Details

More Repositories

1

ex_fixer

Fix compiler warnings: prefixes unused variables, removes unused aliases, removes unused imports
Elixir
13
star
2

priest

Priest, free online converter and formatter
JavaScript
7
star
3

cryptozaur

Cryptozaur is a unified CLI for cryptocurrency exchanges (which is better than exchange UIs)
Elixir
5
star
4

gym-rex

REX is an OpenAI Gym environment for simulating a cryptocurrency exchange
2
star
5

pioneer-pintask-plugin

Have a finger in every pie
CoffeeScript
2
star
6

visionary-pintask-plugin

Expand or collapse all cards in a list
CoffeeScript
2
star
7

remote-hubs

"I want to work remotely, but I don't want to work alone."
1
star
8

OldRoboticks

An think-based online game
PHP
1
star
9

new-zealand-pintask-theme

Baa!
CSS
1
star
10

meteor-skinny

CoffeeScript
1
star
11

url-macro

Rust
1
star
12

jim-link

Short links creator
PHP
1
star
13

snooze-for-google-inbox

Custom snooze times for Google Inbox (with keyboard shortcuts)
JavaScript
1
star
14

HopfieldNetwork

An example of Hopfield network in PHP
PHP
1
star
15

picturesque-pintask-theme-template

Use pictures on Pintask backgrounds
CSS
1
star
16

speedtalk

Conventions for fast communication
1
star
17

master-of-dialogue-pintask-plugin

Instigator's finest
CoffeeScript
1
star
18

spacemine

Spacemine: gather resources, complete missions, sell rewards for Bitcoin / Ethereum.
JavaScript
1
star
19

roerich-pintask-theme

A taste of an artist.
CSS
1
star