whonore Goto Github PK

action-setup-vim

GitHub Action to setup Vim or Neovim on Linux, macOS and Windows for testing Vim plugins

action-setup-vim2

advent-of-coq-2018

Advent of Code 2018, in Coq! (https://adventofcode.com/2018)

aoc

Advent of Code 2019-2020 Rust Solutions

aoc-move

Advent of Code in Move

aoc2019

Advent of Code 2019 Rust Solutions

appdirs

A small Python module for determining appropriate platform-specific dirs, e.g. a "user data dir".

asciime

An ASCII art webcam filter.

awesome-move

Code and content from the Move community.

backoff

Python library providing function decorators for configurable backoff and retry

bitwise

Terminal based bit manipulator in ncurses

certiger

A certified compiler for the Tiger language

clocks

Interesting and unique clock projects.

comprust

Compression Algorithms in Rust

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

coq-elpi

Coq plugin embedding elpi

coq-ultisnips

Vim UltiSnip snippets for Coq

coq.ctags

Universal Ctags optlib parser for Coq

coqfmt

Coq code formatter

coqtail

Interactive Coq Proofs in Vim

coquille

Interactive theorem proving with Coq in vim.

dafny-pretty-progress

Prettify `dafny verify --progress`

deepsea.vim

Filetype Detection and Syntax Highlighting for DeepSEA

dotfiles

My dotfiles

ds3231

A mirror of http://www.rinkydinkelectronics.com/library.php?id=73

editorconfig-vim

EditorConfig plugin for Vim

eso-autojunker

An Elder Scrolls Online addon that automatically marks items as junk.

eso-carousel

An Elder Scrolls Online addon that randomly cycles mounts and pets.

exa

A modern replacement for ‘ls’.

flakes

My Nix flakes