gebner/notmuch2gmvault gebner/notmuch2gmvault

  • Stars
    star
    1
  • Language
    JavaScript
  • Created over 11 years ago
  • Updated over 11 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gebner/notmuch2gmvault
github

gebner

Reviews

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

Repository Details

Small tool to convert a notmuch database to a gmvault backup.

More Repositories

1

hott3

HoTT in Lean 3
Lean
74
star
2

trepplein

Lean type-checker written in Scala.
Scala
24
star
3

m17n-lean

System-wide Lean input method
Python
11
star
4

dali-usb

Firmware for a DALI-USB adapter using an ATtiny45.
C
9
star
5

lean4-old

Lean4 work in progress repo
Lean
8
star
6

compiz-cms

Color management in compiz.
C++
5
star
7

hledger-diff

Compares the transactions in two ledger files.
Haskell
5
star
8

oleanparser

Lean
5
star
9

lean4-mathlib-import

Lean
4
star
10

dali-usb-host

Host utilities for my DALI-USB adapter
Python
3
star
11

super2

Lean
3
star
12

avm2017_tutorial

Materials for the Lean tutorial at the Alpine Verification Meeting 2017
Lean
2
star
13

inundation

Stress test for Lake.
Lean
1
star
14

pass2keepass

Simple tool to convert passwords from pass into keepassx (v1) format.
Python
1
star
15

espanso-lean

Espanso configuration for Lean abbreviations
Python
1
star
16

num-ws11-bsp2

MATLAB
1
star
17

autograder

Lean
1
star
18

num-ws11-bsp1

MATLAB
1
star
19

numint

Final project for the numerics course in the fall semester 2011.
MATLAB
1
star